ホッピングボール：書きはじめよう、ゆるゆると - 檜山正幸のキマイラ飼育記 (はてなBlog)
状態遷移マシンは、計算機構のモデルとして有名なものだし重要ですよね。僕が「ホッピングボール・マシン」と名付けた（適切な名前が見あたらなかったので）モデルは、とても単純な状態遷移マシンです。これ以上の単純化は難しいというくらい単純です。 この単純なモデルであるホッピングボール・マシンは、プログラム意味論はもとより、圏論、論理、グラフ理論などの立場からも興味深い素材で、この素材を使って次のようなことを説明できます。 振る舞い意味論 模倣／双模倣 モノイド圏 高次圏 計算現象と物理現象のアナロジー 一般化された行列計算 僕が「面白いなー」と思っていることはだいたい、ホッピングボール・マシンを例題として解説できそうです。以前から、ホッピングボール・マシンとその周辺について書きたいとは思っていたのです。でも、なかなか書き出せないでいました。 ホッピングボール・マシン自体は単純なんですが、背後に非常に
2007-12-10
指名を受けたので記事書こうかと思ったけど, okamoto7先生ので十分だと思ったので止め. (id:smoking186さん) えー． もうこの話題関連から抜け出せなくなってるのかも．若干古いところから引いてきますが． 不正確だったり自己流の表現だから悪いという人は、「わかりやすさ」というものの本質を理解していない。「わかりやすさ」とは突き詰めれば「不正確さ」だ。厳密に正しい説明をするとわかりにくいから、あえて不正確に表現して分かりやすくする。 http://mechag.asks.jp/131404.html あえて極論っぽく書かれてるのかもしれませんが，「不正確でいる」ことと「端折る」ことは全然違うと思うんです．はい． それと，不正確な記述をしていることを意識しているかそうでないか，とか，不正確な部分に疑問を抱かれたときにそれを正確にできるかそうでないか，とか，そういうことが重要なの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
