いよいよ卒論の題目と内容要約(100字)を決定しなければならなくなりました。

対話的環境における C 言語のための型推論

Eclipse などの対話的な開発環境では、プログラムを書くユーザーを手助けする機能が豊富に揃っている。本研究では、それに、C 言語の型宣言を型推論によって自動的に挿入する機能を組み込んだ。

無情の世界 - 「トライアングルズ」は最後に出てきた「最悪の男」の存在意義がよく分かりませんでした。解説で加藤典洋が書いているように、オイディプスにおけるスフィンクスなのだとすればその存在に納得できなくもないですが、学のない自分は普通に読んだだけではそんなのわかりません。なおこの解説は、この短篇がオイディプスを下敷きにしているという事がわかった以外に、全く読む価値がないものでした。表題作は短いながらも緊張感のある良く出来た短篇です。「鏖」はそれが長くなったような感じか。どの話も読んでいる最中は饒舌な日本語、超論理などの効果によって楽しめますが、読んだ後に人生や社会、文化について考え思索を深めるようなことはないでしょう。