サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
tcug.jp
本文サンプル サークル名 Tsukuba Coq Users' Group 著者 坂口 和彦 平井 洋一 サイズ A5 ページ数 36 頒布価格 500JPY 頒布イベント 技術書典2 コミックマーケット91 コミックマーケット89 コミックマーケット87 コミックマーケット86 委託販売 http://shop.comiczin.jp/products/detail.php?product_id=21265
本文サンプル サークル名 Tsukuba Coq Users' Group 著者 坂口 和彦 平井 洋一 石井 大海 サイズ A5 ページ数 98 頒布価格 800JPY 頒布イベント コミックマーケット89 コミックマーケット87 コミックマーケット86 コミックマーケット85 委託販売 http://shop.comiczin.jp/products/detail.php?product_id=19254
茨城県つくば市周辺の Coq ユーザのグループです。同人誌の発行等の活動をしています。 本 Coq による定理証明 2016.12 Coq による定理証明 2015.12 Coq による定理証明 2014.12 Coq による定理証明 2014.8 Coq による定理証明 2013.12 Coq による定理証明 - コンビネータ論理 C83版 Coq による定理証明 - Coq でスタック指向プログラミング 参加イベント コミックマーケット92 技術書典2 コミックマーケット91 コミックマーケット89 コミックマーケット87 コミックマーケット86 コミックマーケット85 メンバー 坂口 和彦 平井 洋一 石井 大海
このページを最初にブックマークしてみませんか?
『Tsukuba Coq Users' Group』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く