イベントレポート：「Coqチュートリアル#1」
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
InfoQ
InfoQ
エディタ毎の記事の表示
全ての 株式会社 豆蔵 小林 健一に関するすべてのコンテンツ
株式会社 豆蔵 小林 健一が書いた最新の記事
イベントレポート：「ProofSummit2011」
2011年9月25日「ProofSummit2011」が開催された。本イベントでは、形式手法の一種である定理証明支援系ツールに興味を持つ技術者が集まり、Coq,Agda等のツールのチュートリアル、および応用に関する講演が行われた。
株式会社 豆蔵 小林 健一が書いたNews
豆蔵、Jenkinsを中心としたCI（継続的インテグレーション）の導入をテーマに無料入門セミナーを開催
豆ナイト（豆蔵が提供する技術者向け無料セミナー）では、豆蔵と CloudBees,Inc. の教育提携記念として 「続・CI超入門 Jenkinsのススメ2 CI導入の壁を越えろ 」 (http://www.mamezou.com/event/mnight_20120222.html)を2月22日(水)に開催する。
豆蔵、Jenkinsを中心としたCI（継続的インテグレーション）の導入をテーマに無料入門セミナーを開催
豆ナイト（豆蔵が提供する技術者向け無料セミナー）では、豆蔵と CloudBees,Inc. の教育提携記念として 「続・CI超入門 Jenkinsのススメ2 CI導入の壁を越えろ 」 (http://www.mamezou.com/event/mnight_20120222.html)を2月22日(水)に開催する。