少年にむかって「そこの少年」と呼びかけたり差したりすることはあっても少女にむかってそんな言葉を使う場面が思いつかない。 それはともかく以下はネタなのであまり深く考えないように。*1 少女は物語の始めのほうで登場している人物でなければならない。 …

少女λ計算というものを思いついた。λ計算のリダクションの様子をアニメーションで表示するようなアプリを作りたいな、とふと思いついたのだけれど、そこへ定数プリミティブの変わりに少女を入れてしまおうというそんだけの思いつき。 まあ、明らかに某所で少…

次の火曜日は研究室にて発表が回ってくる。いろいろあって連続発表3週目。就活は終わった筈だというのに暇がない。