を読んだ。記号モデル検査の非常に分かりやすい紹介と、並行ソフトウェアシステムへの応用についての話。
T よりも T^ を使ったほうが高速なのは何でだろう。
お茶の入ったお風呂。
八坂神社と円山公園。
知恩院
野宮神社
落柿舎
竹林と嵯峨野トロッコ列車
天竜寺
渡月橋でお花見舟。
金閣寺