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

先日のゼミ

述語論理の話をしていて、なんかの拍子に突然「δの書き順がおかしい」と言い出したI先生。下の方の端から書くのが正しいらしいです。 ふつーに勉強になりました。さすがにギリシャ文字の書き方は知らんわ…(σが読めなかったやつ)

先日のゼミ

述語論理の話をしていて、なんかの拍子に突然Prologの話で盛り上がり始めた先生二人。完璧に取り残される学生全員(多分)。「○×△とか□■▽とか書けるじゃん、あれはなに?」「うーん、×◎▽とか■□△とかがあるからPrologは違うんじゃないですかね?」 Prologはさす…