Category Archives: 文書

Hush Hush

数学セミナーの7月号をつらつら読んでいるとペアノの紹介のところで,有名な宵の明星と明けの明星の話がありました.これは,自同律の不快で見たような話です.宵の明星と明けの明星は共に金星なので,これは,a = a とすべきか或 […]

レコード店に連れて行ったの?

先日,ソフトウェア技術者協会のシンポジウム懇親会で,ある先生と話をしていて,偶然にエスノメソドロジーの話になりました.それで,色々と昔のことを思い出しました. 一時期,フッサールの現象学に入れ込んでいました.フッサールの […]

多足

多足というのは,例えばGSNでセーフティケースを記述したときの姿を指します.ある安全要求に対して,複数の証拠とそれに基づく立証があるとき,多足に見えます(GSN図を想像してみてください).単に,樹ではないかとも思わないで […]