はじめまして。今回、Coq のチュートリアルを執筆させていただくことになった池渕未来(いけぶちみらい)です。IIJ-II のアルバイトとして、山本和彦先生のもとで、この連載を書きます。私はこの春から女子大生になります。Coq のエライ人でもスゴイ人でもありません。そうであるからこそ、読者の皆さんと同じ視線に立って一緒に楽しく Coq を学んでいけるのではないかな? と思います。これからの連載、よろ...
プログラミング Coq 〜 絶対にバグのないプログラムの書き方 〜
はじめまして。今回、Coq のチュートリアルを執筆させていただくことになった池渕未来(いけぶちみらい)です。IIJ-II のアルバイトとして、山本和彦先生のもとで、この連載を書きます。私はこの春から女子大生になります。Coq のエライ人でもスゴイ人でもありません。そうであるからこそ、読者の皆さんと同じ視線に立って一緒に楽しく Coq を学んでいけるのではないかな? と思います。これからの連載、...
0 件のコメント:
コメントを投稿