私の知る限りstatic typing → 静的型付け statically typed language → 静的型付き言語が通常の用語だと思いますので宜しくお願いします（何を？）。例えば"typed language"を「型付け言語」と言ったら誤訳ですよね。英語でも"static type language"とか"sta…

「チューリングマシンの停止性問題が決定不能だから、バグのないソフトウェアは作れない」という説を（アカデミックな人からも）よく聞く*1のですが、（結論はともかく）論理が理解できません。「停止性問題が決定不能 → Completeな自動検証器は実装不能 → …

学科のサーバ入れ替えが予定よりも長引いているようで、サブドメインである各研究室へのメールも（DNS情報がキャッシュされていないと）届かないようです。急用の方は「名前（６文字）.苗字（５文字）@gmail.com」のほうへお願いします。(_ _)Cf. http://d.h…