日々の流転

λ. 読書

『Mr.FULLSWING 6』

鈴木 信也 [著]

『満月(フルムーン)をさがして 1』

『満月(フルムーン)をさがして 2』

種村 有菜 [著]

λ. GentzenのLK, LJ, NK, NJは何の略語?

ふと思って検索してみたらfj.sci.mathで情報を見つけた。(news,blade,Googleグループ)

LK

logistischer klassischer Kalkül

NK

natürlicher klassischer Kalkül

LJ

logistischer intuitionistischer Kalkül

NJ

natürlicher intuitionistischer Kalkül

λ. GPKIおよびLGPKIにおけるルート証明書配布方式の脆弱性と解決策

を読んだ。

λ. The Circulation of Good - Implementation of a cooperative information-gathering agent for Squeak.

未踏のこのプロジェクトの採択者の「Sakai Masahiro (酒井 雅裕)」という名前を見て、一瞬驚いた。