言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2009-03-01から1日間の記事一覧

Coq で遊ぶその9: or について。ジョーカー。Implicit Arguments。

coq

こんな日記にもたまにブックマークを付けてくださる方がいらっしゃて有り難い事です。しかし自分が理解した順番に書いてるだけなので、話題が前に後ろに飛びまくって読みづらくて申し訳ない。いつかそのうちちゃんと分かりやすい順番にまとめたいと思ってい…

善男善女天文台参り

スタートレック・ヴォイジャーで、グリフィス天文台が出てくる回を観たので、天文台まで行ってみた。以前大島さんに連れて行ってもらった時はバスでしか行けない決まりになっていたが、評判が悪かったのか今では普通に車で行けるようになっている。でも駐車…