数学が理解できなくてもプログラムが書ける。仮説（33）

数学と算譜(program)は密接な関係がある。

数学ができないと算譜(program)が書けないわけではない。

算譜(program)を書いていると数学がわかってくることもある。

順番はどちらでもいい。どちらかでないと駄目だと思い込む人がいるとそこが障壁になるかも。

<この項は書きかけです。順次追記します。>

自分がどちらかの道を辿ったとしても、別の道の存在確率を否定する根拠にはならない。

それで本当に数学がわかっているというのだろうか。

数学は論理学だけではない。確率も統計も数学の大事な部分だ。

数学を直接学ぶのではなく、物理系の理論のプログラムをかいてみれば、数学が理解できるようになるかもしれない。
数学のプログラムを直接書くのも手かもしれない。

# 力学
速度、加速度、重力、慣性の法則などを計算してみると数式のありがたみがわかる。

1から始める流体力学〜速度って何じゃ〜
https://nodamushi.hatenablog.com/entry/20120813/1344893221

【第2報 Python】バスッケットボールでボールの飛距離を伸ばす角度は45°！！
https://takun-physics.net/?p=610

力学を題材にしたプログラミングの学習システム
http://gakkai.univcoop.or.jp/pcc/2018/papers/pdf/pcc012.pdf

流体解析プログラム開発
https://www.rccm.co.jp/development/fluid/program.html

# 電磁気学
三角関数、指数関数、複素数の微分、積分は、電磁気学の問題を解くのにすごく役立つ。

「よくわかる電磁気学」を読むためのシミュレーション
http://irobutsu.a.la9.jp/mybook/ykwkrEM/sim.html

[Pythonによる科学・技術計算] 静電位に対する2次元ラプラス・ポアソン方程式のヤコビ法による数値解法，楕円型偏微分方程式，境界値問題
https://qiita.com/sci_Haru/items/6b80c7eb8d4754fb5c2d

[Pythonによる科学・技術計算] FTCS法(陽解法)による1次元・2次元波動方程式の数値解法，双曲型偏微分方程式
https://qiita.com/sci_Haru/items/8535f435ffa1febcd445

構造力学特論
http://www.str.ce.akita-u.ac.jp/~gotou/kouzou/tokuron.html

# 量子力学
数式解いていかないと、何言っているんだかさっぱり。

Pythonで覗く, こわくない量子力学1 : 無限井戸型ポテンシャル
https://qiita.com/jabberwocky0139/items/136f34add9e522f2d3ff

できるだけ簡単にHartree-Fock法を解説してみる（C++17のコード付き）
https://qiita.com/dc1394/items/2333bf7444d8e67cfe6f

数値計算で学ぶ量子力学: プログラミング言語 Julia による数値計算入門
永井佑紀 2018 年 11 月 18 日
http://park.itc.u-tokyo.ac.jp/kato-yusuke-lab/nagai/JuliaQM.pdf

誰もが使えるプログラムを書く－量子色力学シミュレーションの標準化を推進
https://www.jicfus.jp/jp/promotion/pr/mj/2011-3/

量子プログラミング言語「Q#」で使う量子力学
https://www.nomunomu0504.work/entry/2018/11/09/023652

量子プログラミングの基礎　Mingsheng Ying 著・川辺 治之訳 共立出版, 2017, ISBN 978-4-320-12405-9 
https://www.kyoritsu-pub.co.jp/bookdetail/9784320124059

# 数学
四色問題をはじめ、数学の問題をプログラミングすると数学に親しみが生まれるかも。

http://www2.tcs.ifi.lmu.de/~abel/lehre/WS07-08/CAFR/4colproof.pdf

Formal Proof—The Four- Color Theorem, Georges Gonthier
http://www.ams.org/notices/200811/tx081101382p.pdf

Yves Bertot and Pierre Castéran, Interactive Theorem Proving and Program Development, Coq’Art: The Calculus of Inductive Constructions,
Springer-Verlag, 2004.
https://www.springer.com/jp/book/9783540208549

G. Gonthier and A. Mahboubi, A small scale reflection extension for the Coq system, INRIA Technical report.
https://hal.inria.fr/inria-00258384v16/document

## 一覧
物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

音楽　一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　 ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
### 文書履歴(document history)
ver. 0.01 初稿 20190429
ver. 0.02 誤植訂正、細く 20190512 夕
ver. 0.03 表題追記 20190512 夜
ver. 0.04 ありがとう追記 　 20230525
### 最後までおよみいただきありがとうございました。
いいね　💚、フォローをお願いします。
####  Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.