計算モデル論では、いよいよプログラム言語のモデル化に。いわく、文法の意味づけ（"while(A)B"はどういう動作をするか、など)を自然言語で行えば曖昧さが残ってしまう。標準コンパイラの解釈結果として定義するなら厳密だけど、応用性はないし処理系が廃れ…

いま研究室ではいくつかの班に分かれて研究プロジェクトをやっているけど、おいらはその中で「Nigari班」という班に入っています。Nigariとはなにか。にがり健康法でも豆腐の美味しい作り方でもない。N-Javaという独自の機軸のJavaプログラミング教育支援ソ…