2006-06-15から1日間の記事一覧

Sequent Calculi

ここんところSequent Calculiと格闘しまくり。論理系は得意じゃないのだがやるしかなぃぃ。かなり息切れ気味だが、課題が6段パイプラインでやってくる。さて、どうしたものか。というか周りを見てても最近かなり息切れしてる雰囲気だ。ISer元気がないぞ。

EPIPE

write(2)の正しい使い方にEPIPEシグナルについての記述を追加しました。このシグナルの存在意義がよく分かりません。

ほげ

言語処理系論 レジスタ割付 OS演習 MPIライクな通信ライブラリを作る(分散メモリ型並列計算機の通信ライブラリ) リモートプロセスの生成 全対全コネクションの確立 barrior, reduce等 MPIの仕組みから調べないとなぁ。(Opteron * 2) * 24台のクラスタを駆使…