1980年頃のRaleighの自転車（ロードスターの系列ですが、スタッガーフレーム・シングルスピード）をレストアするつもりで解体したものの放置していたのですが、なんとなくなんとかなりそうなので不定期日記にしてみようかと。 ボトムブラケットが往年のコッ…

プログラムのテーマとしてじゃんけんかー。グー・チョキ・パーを 0, 1, 2 であらわして「(3 ＋ Aの手 ー Bの手) ％ 3」が 2 なら A の勝ち、みたいなテクニックに気づくかどうか、という側面もあって、そしてそういったタイプのテクニックに対する賛否まで含…

微妙に純粋な興味以外の必要性もあって、CSP（Communicating Sequential Processes）をこの本 並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)作者: 磯部祥尚,東野輝夫出版社/メーカー: 近代科…