30日（月）

5時半からOcaml（プログラム言語）勉強会に出席。
今日はOcamlではなくCokについて主にやる。
Cokは（プログラムなどを組む）アプリケーションの名称でこれを通じてプログラムの命令（ソース）を取り出すとバグ（間違い）のないものができるらしい。
普通はプログラムを作っていろいろなテストを行いバグがないかを調べる。
Cokは論理的に正しいものだけを抽出する。
だからテストをしなくてもバグがなくなるということだと思う。
適用範囲はわからないけど画期的なところがありそう。

勉強会の後名大の向かいにある食事屋に行く。
オリジナルスパゲティセットを食べる＜スパゲティ、ポテトサラダ、スープ。
明日閉店するらしい。
何でもスケートの安藤美姫選手のおばさんがやっている店らしい。
安藤美姫さんが偶に食べていたとのこと。

勉強会はＩＴに詳しい人たちの集まりなので話し合っているだけで勉強になる。
他の勉強会も時間が許せばいろいろ参加すると有益そう。