国立情報学研究所の先生が型付きラムダ計算についての難問を解決したそうで。未解決問題22問のリストがあって、このリスト中の問題解決は世界初だって。スゲー!型付きラムダ計算の未解決問題集 http://tlca.di.unito.it/opltlca/一問目は 1958年 Haskell Cu…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。