気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
blog.camph.netエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Coq勉強会を開催しました - CAMPHOR- Blog
こんにちは，@yu-i9 です． 今回はCAMPHOR- HOUSEで開催されていた Coq勉強会について報告します！ Coq... こんにちは，@yu-i9 です． 今回はCAMPHOR- HOUSEで開催されていた Coq勉強会について報告します！ Coqとは 定理証明支援システムの一つで，カリー・ハワード同型対応に裏付けされたラムダ計算を用いた証明が特徴です．ざっくり言ってしまえばコンピュータ上で証明を行うためのシステムです． 経緯 発端は2015年の8月．もともとCoqに興味があった @yu-i9 と，話を聞いて興味を持った後輩（当時CAMPHOR-とのつながりはなかった）との間で勉強会をやろうという話が出ました．さらに，二人では寂しいということで興味がありそうな知り合いを巻き込みメンバーは3人に．初めは大学のラウンジ的なところで行うつもりでしたが，CAMPHOR-メンバー各位のご厚意により CAMPHOR- HOUSEで開催する運びとなりました． 2015年9月に勢いで始まった勉強会でしたが，皆飽きることなく着
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
blog.camph.net
blog.camph.net
blog.camph.net
blog.camph.net
www.nhk.or.jp
www.tokyo-sports.co.jp
togetter.com
togetter.com
pc.watch.impress.co.jp
hatenanews.com
forest.watch.impress.co.jp
techblog.zozo.com
speakerdeck.com/chimame
www.itmedia.co.jp
gigazine.net
forest.watch.impress.co.jp
ameblo.jp/yoshida-yoko
headlines.yahoo.co.jp
2016/02/13 リンク