2008-06-28から1日間の記事一覧
なんか産総研の人がいらしてて、様相論理の話をしてくださった。まあ俺が全然理解できてないとか、そういうのはどうでも良くて。意味論の対義語って証明論だったのかーみたいな、そういうのに気づいたとか、そういうのが収穫。との使いわけが、いまいち良く…
なんか産総研の人がいらしてて、様相論理の話をしてくださった。まあ俺が全然理解できてないとか、そういうのはどうでも良くて。意味論の対義語って証明論だったのかーみたいな、そういうのに気づいたとか、そういうのが収穫。との使いわけが、いまいち良く…