計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （ {、 { ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ _ ヽ._＞'´ ／ /,ィ／ / ハYﾍい ,. -- 〃⌒ r−-､ ィ´ 〃 ,ｲ/7' ,ｲイ/ 小ヽ 丶、 ,. ‐ '´ﾊ i ″｀ヽ、 、ヽ、 ／幺ィ {从{小込v' jｩ仏厶川ﾘ} YV, 小 Vj. |丶 ヽ ｀ ｰ-ミー--'_,辷三彡
Weblog on mebius.tokaichiba.jp
Movable Typeで記事を作成する時にフォーマットとして「改行を変換」を指定して、<blockquote>タグを使うと、blockquoteの引用部の前後に改行が入ったり入らなかったり、引用部の先頭や末尾に余計な改行が入ったりして見た目のバランスが悪くなることがしょっちゅう起こる。 再現条件もよくわからないし、CSSやブラウザによっても症状が変わったりする。 例えば、 XXXに <blockquote> YYY </blockquote> と書かれている。 と書くと、Movable Typeが出力するHTMLは <p>XXXに<br> </p><blockquote> YYY<br> </blockquote> と書かれている。<p></p> このようになる（Movable Type 7.5.0(r.4703)で確認）。blockquoteの前に余計な</p>があるし、blockqu
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
