sumiiのブログスマートフォン用の表示で見るsumiiのブログこの広告は、90日以上更新していないブログに表示しています。存在的多相型しばらくつまらない問題&解答ばかりだったので、もう少し面白いやつを。できれば証明ないし反例も。F(V2)は無限ループしないようなFはあるか、という話。参照とか例外とか、pureでない言語機構は使用禁止。いうとわかっちゃうかもしれないけど。ちなみにデレック・ドレイヤー博士(ttic.uchicago.edu/~dreyer/)やアンドリュー・ピッツ教授(www.cl.cam.ac.uk/~amp12/)は間違えました。いうかそういうメールを送りつけてきたので突っ込みを入れて切り返した。検索されないようにカタカナ表記。equalityも禁止。いうと、ますますヒントになりますが。無駄」について我々国民が肝に銘じておくべきこと月別アーカイブはてなブログをはじめよう!sumiiさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。