Coq

coqdocを使った

coqdocを初めて使ってみました。はじめは company-coq のスタイルに合わせて見出しとか書いてましたが、なんとなく気が向いたので公式(documenting-coq-files-with-coqdoc )の方を確認してみたのでした。目的はcoqスクリプトの(主にコメントの)整形スタイル…

ML勉強会#2 と ProofSummit2017 に参加した

ProofSummit2017とML勉強会#2に参加してきました。 とりあえず二日連続はつらいものがあった。 個々の感想 SML#の話は良かった。言語や処理系の機能が列挙されていると個人的に楽しい。そういう意味ではATSも楽しいんだけど、機能(のアップデート)が少なかっ…

ProofSummit2014とJSSST2014に参加

遅めの夏休みを使ってProofSummit2014とJSSST2014に行ってきました。Coqチュートリアルとサマースクール(スパコンの話)に参加し、火曜日のPPLとその他セッションをふらふらしてた感じ。 Coqチュートリアルが主目的で参加したハズなんですが、謎の強烈な眠気…

なごや2013(夏)まとめ

8/25,26でなにやらイベントが連続していたので行ってきました。 ProofSummit2013 OCamlMeeting2013 なごやまつり 後続のせいでかなり地味な印象になってしまったけど(^^、聴いて意味があったのは前半。 OCamlSummit 期待していた Generic Pretty Printer は…

Coqチュートリアル#4(最終回) に参加しました

Coqチュートリアル#4最終回に行って来ました。4回とも参加できたので皆勤賞です! 講師の [twitter:@tmiya_] さんと運営の [twitter:@kenkoba] さんお疲れ様でした。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t =…

Coqチュートリアル#1 行ってきた

気になっていたところに Formal Methods Forum主催Coqチュートリアル#1があったので、どんなもんかと聞いてきました。 当日の資料もリンク先に挙がってますね。 受講者は8人くらい?来てました。 Formal Methods Forumの @tmiya_ さんが主に解説して @kenco…