kt3k 日記

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

考究終わり

logic_in_cs

Logic in Computer Science 5 章 modal logic の 3節から 5節
ぐらいをやって終わり。最後、ワイズマンパズルとかマディーチルドレンパズルを
KT45^n という論理体系で形式化して解く部分だけ、時間が無くて終わらなかった。
(7時だいぶ回ってたし、しょうがなかったと思う・・・)

これで今年の考究は終わりで、あと大学でやり残したことは事務手続きだけに。

帰りに舘野さんに記号力学系というジャンルが面白いよ的なことを教えてもらった。

西村先生は来年はラムダ計算の考究をやって、Shoenfield は別な先生がやるらしい。

コメント


管理者にだけ表示を許可する
 

お疲れ様~

俺は現在修論をさぼりまくったツケが回ってきて、てんやわんやですよ。
果たしてこんな修論でいいのだろうか?人には見せられないな…。

mather | URL | 2009年01月14日(Wed)03:47 [EDIT]


コメントどうも~

修論頑張ってください~(^^/~

kt3k | URL | 2009年01月16日(Fri)02:24 [EDIT]


 

トラックバック

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。