述語論理の話をしていて、なんかの拍子に突然「δの書き順がおかしい」と言い出したI先生。下の方の端から書くのが正しいらしいです。 ふつーに勉強になりました。さすがにギリシャ文字の書き方は知らんわ…(σが読めなかったやつ)
述語論理の話をしていて、なんかの拍子に突然Prologの話で盛り上がり始めた先生二人。完璧に取り残される学生全員(多分)。「○×△とか□■▽とか書けるじゃん、あれはなに?」「うーん、×◎▽とか■□△とかがあるからPrologは違うんじゃないですかね?」 Prologはさす…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。