mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

ホーム > コミュニティ > 学問、研究 > 構成的プログラミングと型理論

構成的プログラミングと型理論

  • mixiチェック
  • このエントリーをはてなブックマークに追加

コミュ内全体

詳細 2015年12月24日 23:31更新

構成的プログラミングと型理論についてのコミュです。

構成的プログラミングの基礎 林 晋・小林 聡 共著
http://www2.odn.ne.jp/yuseisha/oyohoka/koseiteki-c.htm

Programming in Martin-Loef's Type Theory
http://www.cs.chalmers.se/Cs/Research/Logic/book/

10年前の
http://www.jssst.or.jp/plan/type-const-tutorial.html
この講演を聴いたとか、ここいらの分野専攻していますとか、とりあえず(型理論or構成的プログラミング)本読んでみていますな方(自分)大歓迎です。
自己紹介とかは全然強制してないです。お気軽に参加ください。
トピは自由に立ててください。

ちなみに、管理人は何にもよくわかっていないです。

--検索用--
関数型言語 cvFL lzFL
Martin-Loef type theory
category theory 内包 外延
システム検証 spin NuSMV 仕様記述言語Promela
古典論理 型理論 継続 例外処理 並列プロセス計算
Curry-Howard Isomorphism

コミュニティにつぶやきを投稿

最近の投稿がありません泣き顔
つぶやき・トピック・イベント・アンケートを作成して参加者と交流しようわーい(嬉しい顔)
参加メンバー 7人

もっと見る

開設日
2007年3月10日

3931日間運営

カテゴリ
学問、研究
関連ワード
関連ワードを登録しよう

編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!