それでも自然数の積は可換である - 吾輩は馬鹿である
このブログは、専門外の人間が外から密輸した理屈で、正しいことを正しいと主張することを禁止する風潮を批判するためのものである。そんな私にとってどうしても看過できないのが、今回の「掛け算の順序」騒動だ。詳細は以下を参照。 かけ算の5×3と3×5って違うの？ - Togetter 特に、応用数学を専門とし、中高の数学教諭の専修免許も持ち、さらに子供時代に遠山啓の本で数学に親しみ現在も遠山啓の著作集が本棚に並んでいるというような私としては、まるで掛け算の順序を区別することが遠山啓の意にかなっているかのごとく喧伝される*1のは我慢がならない*2。 この件については、上記togetterで既に、学識豊かな方々が大抵の論点には触れてくださっているので、私は今まで余り触れられていない論点 「積は一般に非可換」という言説の妥当性 交換法則の証明は必要か 「定義」や「立式のルール」をどの程度遵守すべきか 北海
計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （ {、 { ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ _ ヽ._＞'´ ／ /,ィ／ / ハYﾍい ,. -- 〃⌒ r−-､ ィ´ 〃 ,ｲ/7' ,ｲイ/ 小ヽ 丶、 ,. ‐ '´ﾊ i ″｀ヽ、 、ヽ、 ／幺ィ {从{小込v' jｩ仏厶川ﾘ} YV, 小 Vj. |丶 ヽ ｀ ｰ-ミー--'_,辷三彡
プログラミングできる人とできない人との間の深い溝 - masatoi’s blog
どうしてプログラマに・・・プログラムが書けないのか?を読んでいて出てきたので出展の一つを訳してみた。Separating Programming Sheep from Non-Programming Goatsの和訳。 プログラミングというものには向き不向きが強く出るということはわりと知られていると思うが、このエントリではプログラミングができるかできないかは比較的簡単なテストによって、プログラミングの訓練を始める前の段階で分かると主張している。どうしてプログラマに・・・プログラムが書けないのか?では、そもそもこの事前テストをパスしていないような人達までプログラマとして応募してくると言っており、その判定法として有名なFizzBuzz問題を挙げている。 追記（2019/2/28) 注意： なおこの論文はしばらく前に著者の一人によって撤回されたようです Camels and humps: a r
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
