たけしけー
- いいね数 56,073/72,888
- フォロー 1,741 フォロワー 2,055 ツイート 244,506
- 現在地 Shinagawa, Tokyo
- Web https://takeshik.org/
- 自己紹介 二郎駆動 .NET プログラマ。主に C# のようなものを書いたり書かなかったり。 園芸趣味と称して Expression Trees を継ぎ接ぎして言語処理系作ったり、他にも変なものをこそこそ作ってるかもですが、進捗は不安定なので過度な期待はしないでください。 ※発言は個人の見解です
Favolog ホーム
» @takeshik
» 2012年10月16日
並び順 : 新→古 | 古→新
2012年10月16日(火)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
命題についてしか扱えない伝統的論理学から述語論理への拡張によって、命題以外についての命題も扱えるようになった。
つまり、「型に依存する型」から「～な性質を満たすデータについての型」についてまで表現できるようになった型システムが依存型の型システムだよってことかな
タグ：
posted at 18:41:24
非公開
タグ：
posted at xx:xx:xx
スポンサーリンク
