B Method
東京から突然nishさんがやってきてBメソッドの本をくれました。
「The B Language and Method」
って、値段見たら尋常でなく高い…
『￥ 12,799より』っていくらなんでも高すぎるだろ…
そんなわけで(*)、この本は大切に扱いながら読んでいこうとおもいます。
(*) べっ、別に高いからじゃないんだからね! 譲って頂いた本だからなんだからね!!!
内容をパラパラと読んでみると、大量の数学記号が目に付きました。
どうやってキーボードから打ち込むんだと思ったら、
ちゃんとそれぞれの記号に対応した書き方があるんだとか。
(例: 『∀v.[S]P』 -> 『[@v.S]P』)
専用のエディタを使うとちゃんと数学記号の方で表示されるそうです。
とにかく記号の数がやたら多い。
ラムダ計算や論理学等を趣味でやっていたため、分かる記号も結構ありましたが、
知らない記号が沢山ありました。さすがフランス生まれの言語。
(「=」の上に「^」が乗った記号や、「(」を右に90度倒した「^」に似た記号とか。)
ということで、この秋からは頑張ってBメソッドを勉強しようかと思います。
この秋やらなければ来年の秋に。来年やらなければ再来年の秋に。再来年にやらなければ…
昨日のリリカルの続き
