No Such Blog or Diary

マスコットとかのふんわりした設計の 3D モデルを作るのに，Autodesk Fusion のフォームでやるべきか Blender でやるべきかが悩ましい．たぶん Blender の方がテキトウにやりやすくて Fusion の方がパラメトリックにやれるのだろうけど……

とかいうことを悩んだ結果，Fusion のフォームで頑張ることにした．何でもかんでもクワッドボールをこねくり回せばどうにかなる．たぶん．

まとめ役が仕事しないせいで無駄に発散しまくる効率の悪い議論が展開して会議の予定終了時刻を 4時間もオーバーするとかいう……　ちゃんと仕事して？

なんか全体的に色々と段取りや見積もりが悪かったりするのはもうちょいどうにかならんものか．というか，制御が難しいメンバーが入ってるので少なくともそれを御せる程度でないと非常に悩ましい．

腹減った……

閑話休題．

夜9時で気温30℃超えてるのはなんなんだ？

昼前に時間があったので車検証を回収．これで車の方も ICチップの入った車検証になった．でも車検証入れは古いままで（諸々の情報を印刷した A4 の紙を添えとくので実際のところ紙の量は増えてる）．

なんか外がとても暑い気がする．そして室内はエアコン効きすぎ問題．

頭いてぇ．

新大阪から茨木に行こうとしたら高槻まで連れてかれた……　快速は茨木に止まるけど新快速は止まらない．新しいだけで新快速も快速なんじゃねーのか……

まあ，停車駅の案内を見て「普通と快速と何かがあるな」とだけ認識してその何かが急行とかだろうと思ってたのが敗因．ちゃんと見とけ．

PPLサマースクールで Iris の話を聞いた．とりあえず Coq で遊んでみると面白そうかも知れない．Iris の Proof Mode の tactics がどう頑張って実現されているのかは興味のあるところ．