アイテムコード： 040030587376
- 1,388円 （＋税）
- 1,318円 （＋税）
毎度便
2020/06/06
定期便（週1)
2020/06/10
定期便（月2)
2020/06/20
※ 「おまとめ目安日」は「発送日」ではございません。予めご了承の上、ご注文ください。おまとめから発送までの日数目安につきましては、 コチラをご確認ください。
| サークル名 | 参照透明な海を守る会
|
| 作家 | master_q public_ai000ya myuon_myon 他 |
| ジャンル/サブジャンル | 評論・研究 |
| 発行日 | 2017/08/11 |
| 種別/サイズ | 同人誌 - その他/ Ｂ５ 170p |
| 初出イベント | 2017/08/11 コミックマーケット92（1日目） |
作品キーワード：
商品情報
コメント
関数型プログラミング本第10弾! / 内容 / Haskellとstring diagram / Haskellのモナドモナド / Coqのタクティクス作成 / 内的集合論と超準解析 / 静的コード解析入門とVeriFastチュートリアル