andante

お昼に起きて大富豪をするオフにゆきました。四時間半ほどずっと大富豪をして、大富豪には強い弱いの差がちゃんとあることと、僕はどうやらものすごく弱いらしいことがわかりました（圧倒的に独り負けしたのです）。なんだそれ、がっかりだ！学びをシェアします！
とはいえ楽しかったのですけども。今度やるときはもうちょっと戦術をちゃんと考えたい（考えない）。

その後はご飯を食べて喫茶店でだらだら話をしました。なんかこういうオフ会然としたオフ会ってかなりひさびさのような気がする。深井さんとかとだとなんかいつものメンバ感あるし。

さて、なんか早く帰ってきたら仕事でもしようかと思っていたけど今夜はもう無理ですね。うーん、画面遷移エフェクト。

めも：意味論の側から作った真理概念と、構文論の側から作った真理概念（これは構文論的には真理とは呼ばれないけれど）とがうまく整合するかというのはまったく自明なことではないし、実際に公理系をテキトーに作るとだめなんだけど、それがぴったりと覆い被さるというのが、公理系が健全だったり完全だったりするということ、のようだ。たとえば、日常用語を使った雑な推論（たとえば「逆にアリだよね～」みたいな）では、用いられている公理系（特に推論規則）が健全ではないために、トートロジーではないものが出てきてしまう、ということなのだろう。だから、どういった推論が健全な公理系を作るかについて調べておくことは重要だ。

昨晩は寝る前にちょっとだけ仕事するかーと思ったのだけど予想外に時間が掛かってしまって六時前くらいまで起きていました。はー、そういうことすると翌日ほんとうにつらいから（これは最近そうなってきた感じがするので加齢を感じます）よしなよって言ってくれるお姉ちゃんが必要（？）
やりたかったことはできたのでよかったのだけど、どうもUIViewのスナップショットを何度も撮るとCAMediaCurrentTimeがドンドン遅れてゆくらしい？バグ？っぽい？ものを踏みました。なんだこれ。afterScreenUpdateをfalseにすると起こらないんだけど。これのせいでCAAnimationにディレイをかける定石通りのコードがドンドン遅れてゆくことになってしまって難儀しました。仕方がないのでdispatch_afterでディレイを表現したのだけど、大丈夫なのかしらこれ。

ところで仕事はほんとうにつらかったです。夕方くらいが特に。うーん、やる気スイッチが押されるタイミングをちゃんと制御しないとなー。

髪が乾いたら眠ります。それまでは「論理学をつくる」。

昨日話していて思ったけど、僕は大学でもっと違ったサークルに入ればよかったのだろうか。僕のいたところは凄いひとが勝手に凄いことやってるみたいな感じっぽくてあんまり指導的立場の人とかいなかったから（毎週集まっておしゃべりしてラーメン食べてた印象しかない）、僕みたいな受け身の人間にとってはあまりいいことなかったのかも。うーん、でもなんかそんなに積極的になにかやりたい、なんて思ってなかったし、仕方ないのかも。
どうせならもっと大学生っぽいことをすればよかった、とすこし思います。弓道とか（そんなに大学生っぽいか？）。大学時代○○やってたんですよ～、みたいな話、僕にはなにも話すことがないな、と思うとすこしさびしい。大学時代なにやってたっけ。勉強はちょっとはしたけど、いま思うとぜんぜんしてなかったよな。うーむ。