和木 慎一郎
- いいね数 9,816/8,668
- フォロー 811 フォロワー 159 ツイート 6,570
- 現在地 山口県岩国市由宇町 / 広島県廿日市沖塩屋
- Web http://b.hatena.ne.jp/sin16waki
- 自己紹介 私ツイート/コメントは一部閲覧注意なブックマーク/リンク集。 http://booklog.jp/users/shinwaki http://bookmeter.com/users/459004 http://bit.ly/2FMgAyS https://amzn.to/3w3ZEPB
Favolog ホーム
» @WakiShinichiro
» 2013年04月05日
並び順 : 新→古 | 古→新
2013年04月05日(金)
６０・７０年代の社会的闘争は確たる成果を挙げられなかった。その理由は色々考えられるが、１つの大きな原因は、自らの敵がたんに眼前の自民党ではなく、自民党を傀儡とするアメリカだという大きな視座を持ち得なかった点にあるのではないか。肝心の知識人やマスコミまで騙されていた。今なおそう。
タグ：
posted at 15:43:15
プログラムが難しいのは、そのモデルが難しいから。Turing Machine とかずれまくってるし、仮想マシンを持ってきても、ぜんぜん直観的じゃない。for 文が終わるかどうかも自明じゃない。
タグ：
posted at 13:59:59
モデルと証明の関係は面白い。証明が不要ってことはない。モデルから見れば、モデルに繰り返し出てくるパターンが証明。証明から見れば、証明の繰り返しで得られるはずのものがモデル。あるいは得られないはずのもの。
タグ：
posted at 13:35:19
スポンサーリンク
