0923
お昼に起きて大富豪をするオフにゆきました。四時間半ほどずっと大富豪をして、大富豪には強い弱いの差がちゃんとあることと、僕はどうやらものすごく弱いらしいことがわかりました(圧倒的に独り負けしたのです)。なんだそれ、がっかりだ!学びをシェアします!
とはいえ楽しかったのですけども。今度やるときはもうちょっと戦術をちゃんと考えたい(考えない)。
その後はご飯を食べて喫茶店でだらだら話をしました。なんかこういうオフ会然としたオフ会ってかなりひさびさのような気がする。深井さんとかとだとなんかいつものメンバ感あるし。
さて、なんか早く帰ってきたら仕事でもしようかと思っていたけど今夜はもう無理ですね。うーん、画面遷移エフェクト。
めも:意味論の側から作った真理概念と、構文論の側から作った真理概念(これは構文論的には真理とは呼ばれないけれど)とがうまく整合するかというのはまったく自明なことではないし、実際に公理系をテキトーに作るとだめなんだけど、それがぴったりと覆い被さるというのが、公理系が健全だったり完全だったりするということ、のようだ。たとえば、日常用語を使った雑な推論(たとえば「逆にアリだよね~」みたいな)では、用いられている公理系(特に推論規則)が健全ではないために、トートロジーではないものが出てきてしまう、ということなのだろう。だから、どういった推論が健全な公理系を作るかについて調べておくことは重要だ。