起床は8時、安宿なのでうるさく、よく眠れず。慌てて大学へ。研究集会二日目、カリー化の話が印象に残った。ほかに自作証明系やフレーゲの話まで。面白い話が多いが、二日目なので参加者の疲労度が濃い。 大学のプレゼン室、天井の蛍光灯がデジタル数字の8の…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。