coq(1)入門

coqは、今井宜洋　@yoshihiro503　さんから教わった。

Proof Cafeという名古屋の勉強会を主催されていた。
http://proofcafe.org/wiki/

ACM Software System Award 2013 - Coq
https://www.youtube.com/watch?v=vwA4JZ-5qMU

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.
# Coq勉強会 by 今井宜洋
https://www.youtube.com/watch?v=BOmJO8Ch_Cc

[![Coq勉強会 by 今井宜洋](http://img.youtube.com/vi/BOmJO8Ch_Cc/0.jpg)](https://www.youtube.com/watch?v=BOmJO8Ch_Cc)

## 動画で出て来る単語の説明。
### 3110 Coq Tactics Cheatsheet
https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html
最近Youtubeに動画を登録された。

「simple」
Simplifies the goal or hypotheses in the context.

「unfold」
unfold: Unfolds the definitions of terms.

### Command Index
https://coq.inria.fr/refman/coq-cmdindex.html

「print」
https://coq.inria.fr/refman/proof-engine/vernacular-commands.html#coq:cmd.print

「omega」
Omega: a solver for quantifier-free problems in Presburger Arithmetic
https://coq.inria.fr/refman/addendum/omega.html

# 導入
MacintoshでCoqide
https://qiita.com/kaizen_nagoya/items/0314ca15130bdfa9dce2

なぜCoqが重要か
https://qiita.com/yoshihiro503/items/7e6a9994eb37ed7c3bf9

Coqで学ぶ定理証明入門　TOP SE seminor at Nii
https://researchmap.jp/jom8d6c3j-45644/#_45644

Coq IDEの導入と利用(TOP SE セミナ受講者のために）
https://researchmap.jp/jonaf7ezp-45644/?lang=japanese

macOSにbrewでcoq_jupyterをインストールする
https://qiita.com/kioto/items/b7cf747290c5a791b30a

Coqチュートリアル
https://researchmap.jp/jobgpbmlb-27951/

VimでCoq 改
https://qiita.com/luma/items/693f450212b83511bf5b

Visual Studio CodeでCoqの環境作ってみた
https://qiita.com/gyu-don/items/e2760f7583b92fcbbe58

vimでCoqを使えるようにする
https://qiita.com/Kitaryo/items/1c0a6ed3f6b8e1062859

WSLにcoq-jupyterをインストールする
https://qiita.com/kioto/items/ba48c67df82fe8d94751

# 確認・説明
「OCaml入門」入門
https://qiita.com/kaizen_nagoya/items/456bedf9f68b512663da

coqはOCamlで記述している。OCamlを知っているとよい。

初心者が陥りそうな罠 〜なんでもintrosすればいいってわけじゃない〜
https://qiita.com/kimitaka@github/items/7879ea3133fe378b178c

Coqはチューリング完全 -- Ltacでbrainf*ckインタプリタを書いた
https://qiita.com/erutuf13/items/98f15cc7e74b0570c971

Coq のカリー・ハワード同型周辺について
https://qiita.com/wgag/items/d44f683bfdc5eb297466

Coq: 引数にパターンが使えるようになったので試してみた
https://qiita.com/mathink/items/056c8d14d38ba848c839

autoで何が起きたのかわからないときに
https://qiita.com/OKU_K/items/e0bdd2b21dd9c708b31c

Coq の Variable と Parameter の違い
https://qiita.com/amutake/items/5ab7df143906ddbfc926

Coq: Set Primitive Projections と injection タクティックのお話
https://qiita.com/mathink/items/a986fb445d6d36b1a119

Coq(とか)のバージョンを簡単に切り替えたいスクリプト
https://qiita.com/mathink/items/4dfd32b1c9847ea23db9

Coqで型クラス
https://qiita.com/yoshihiro503/items/a6fe93ae0d867129f7b1

Coqでもあのニンジャパターンマッチが使えるぜ
https://qiita.com/yoshihiro503/items/c83fb2a6e2a6318db108

coqdocで日本語を含むPDFを生成する
https://qiita.com/yoshihiro503/items/2e3035cc602301c7c9fc

Verlang と Coq の Extraction について
https://qiita.com/amutake/items/db595761435c01356e88

wercker を使って Coq コードを CI する
https://qiita.com/amutake/items/d75bb63eeda9ec33df8d

超絶技巧演習問題 - Coq
https://qiita.com/Hexirp/items/895b76d8af93c7ce7d1c

coqでド・モルガンの法則の証明をするまで (命題論理版)
https://qiita.com/bellbind/items/b69d4ce436b4a5bc8a8d

Coqのemacsモードのプロンプトについて調査
https://qiita.com/shinsa82/items/b03f5202989ddf09a280

Coqメモ
https://qiita.com/lion/items/c4f379a462d7d88d5e55

直観主義論理 五つの定理の同値性
https://qiita.com/41semicolon/items/e2cf49b7fa72167c521c

# Ssreflect
Ssreflectは四色問題の現代的証明で著名。

Coq/SSReflect/MathCompの文献
https://qiita.com/suharahiromichi/items/c6fcc3b03594cfa1796f

数学ガールの「数学的帰納法」の問題
https://qiita.com/suharahiromichi/items/da2322993ef727728ea9

Coqでカタラン数
https://qiita.com/suharahiromichi/items/9e0eb6d8e762cf31d047

SSReflectノート (暫定版)
https://qiita.com/suharahiromichi/items/d16bebbe6f6c98f76d78

SSReflectのViewとView Hintについてのメモ
https://qiita.com/suharahiromichi/items/02c7f42809f2d20ba11a

Elgamal暗号でSSReflectのトライアル
https://qiita.com/junjihashimoto@github/items/dda7720dc49c346a7918

第33回 #ProofCafe での練習問題のssreflectを使った解答例。
https://qiita.com/yoshihiro503/items/0bca75e5ab52e40f01f6

二分探索木を Coq with SSReflect で弄くる
https://qiita.com/mathink/items/e56b138bb02133a179aa

AffeldtさんのSsreflect練習問題exo4
https://qiita.com/yoshihiro503/items/bd142fdb69c1fd64ab86

AffeldtさんのSsreflectチュートリアルのソースをビルドする
https://qiita.com/yoshihiro503/items/f5a5d6d59e5d844b4779

Ssreflect Tutorial最初のコード
https://qiita.com/yoshihiro503/items/6a1f0c6933daafd4754b

ssreflect tutorial(意訳版) [作業中]
https://qiita.com/mzp/items/b485ff9baaa8bfef788c

## @nekonibox
Coq/SSReflectでたった1行のコマンドで完全帰納法を適用する方法
https://qiita.com/nekonibox/items/514da8edfc6107b57254

Coq/SSReflectで辞書式順序で引数が構造的に小さくなる再帰関数をFixpointで定義する
https://qiita.com/nekonibox/items/3d483edf4eb46adbfae7

Coq/SSReflectでperm_eqが不変条件であるような命題を証明するための帰納原理
https://qiita.com/nekonibox/items/233d23bf0fb7cad79e01

Coq/SSReflectで引数の長さが1短い任意の部分列で再帰呼び出しする関数を定義する
https://qiita.com/nekonibox/items/1f9c2cd27d4f1e209285

Coq/SSReflectで子ノード数が不定である一般の根付き木をInductiveに定義する
https://qiita.com/nekonibox/items/c2abf000e386b2a2ae33

Coq/SSReflectで自然数nを引数に取ってn分木の型を返す型をInductiveに定義する
https://qiita.com/nekonibox/items/710eb444189417069d22

# 試作
Coq を使って「どう書く」の問題を解いてみた 〜五角形の世界であなたは過去の自分に出会う〜
https://qiita.com/t_uchida/items/a263656fe28067538895

Equiv_Jの練習問題assign_equivの証明 #ProofCafe
https://qiita.com/yoshihiro503/items/5a6eb6f0c8d2b96c4d4c

Equiv_Jの練習問題 WHILE_true
https://qiita.com/yoshihiro503/items/260b9342ab049778ef11

Coqで鳩の巣原理の証明
https://qiita.com/yoshihiro503/items/0233bf2ada9b8bfa00fa

証明された Common Lisp / Emacs Lisp コードを手に入れる
https://qiita.com/dico_leque/items/dc0dbc359d7d5090a9a2

「The Little Prover」のCoqでの実現
https://qiita.com/suharahiromichi/items/723896ebfbc332f9d3dd

Coqで証明書いてみた
https://qiita.com/Thought_Nibbler/items/9ed7da5ecfa046c8f9f5

「Coqで証明書いてみた」の１行づつの実行を記録してみた。
https://qiita.com/kaizen_nagoya/items/6b8398bf6980315945c6

eqの性質の証明
https://qiita.com/lion/items/44b41c5e7a9c41887fe4

```coq
Inductive eq (A : Type) (x : A) : A -> Prop :=  eq_refl : x = x
```

Falseの証明
https://qiita.com/lion/items/7e0b6b65700beec7dbd7

Coqコーディング規約
https://qiita.com/yoshihiro503/items/730eba53797de7a23328

CoqでFixを使って再帰関数を定義してみる
https://qiita.com/yoshihiro503/items/d92e67029929e4335022

Coqの初歩メモ
https://qiita.com/lion/items/b773d76538f57ead9599

Docker上にOCaml+Coqの環境を構築して動かしてみるまで
https://qiita.com/ryo_shiraishi6352/items/36ee94ae4fe60387dbd0

Ubuntu 18.04/19.10にcoq-jupyterをインストールする
https://qiita.com/kioto/items/9847d0a995b899e7790d

Ubuntu18.04にCoqIDEをインストール
https://qiita.com/brln/items/3db956f4b283ae568387

coq-hammerを試してみる
https://qiita.com/kubo39/items/a288343c6c25bab87902

Coq: Vernacular コマンド備忘録
https://qiita.com/mathink/items/9be0be5761625cc9e12e

Coq: nat を string で十進表記する
https://qiita.com/mathink/items/a8006421da7dec717849

Coq で map や filter の fun を省略したい。
https://qiita.com/mathink/items/93fe64cb51ec25c111e9

依存型/\型クラス/\記法 -> (テスト失敗 <-> 型エラー)
https://qiita.com/mathink/items/5bd5990c9202a3e55858

Coq上で論理学を展開するとは？
https://qiita.com/41semicolon/items/78552905ff7f2953a8a2

Coq で半環
https://qiita.com/mathink/items/a4f5ef2320e03e8ef0e0

Coq で環
https://qiita.com/mathink/items/0fff555fa1824248d88a

Coq で環のイデアルを作ってみる
https://qiita.com/mathink/items/0e40ba9d2324c6aaaa24

代数的構造と Coq：序
https://qiita.com/mathink/items/c5027bf2dc3727ffcf69

https://gist.github.com/mathink/99fd4c7693a4468894d0

入力して確認したら次の警告が出た。

```coq
Nested proofs are deprecated and will stop working in a future Coq
version [deprecated-nested-proofs,deprecated]
```

Setoid の Proper な Map を作る。
https://qiita.com/mathink/items/ab8037926f91b51d1e96

Coq で圏論：背景と普遍性について
https://qiita.com/mathink/items/2067c162fb7cf8f6c83f

Coq で圏論：自然変換とデータ型
https://qiita.com/mathink/items/6d635284ff4564e413f9

Coq で圏論：函手とその等価性
https://qiita.com/mathink/items/d827ee3b895ed80a3285

Coq で圏論：随伴、モナド、Kleisli triple
https://qiita.com/mathink/items/dc2a555436c90b23df00

Coqの余帰納法でハマってしまった
https://qiita.com/Nogikuchi/items/28f2f573537ff3e5aca5

Godel’s Incompleteness Theorem in coq
https://qiita.com/kaizen_nagoya/items/181cb3dae504f64d0619

整数を使った証明（整数精度のHaar変換）のトライアル
https://qiita.com/junjihashimoto@github/items/310d87e504ee79d691af

リフレクションのしくみをつくる
https://qiita.com/suharahiromichi/items/9cd109386278b4a22a63

スタックコンパイラの証明
https://qiita.com/suharahiromichi/items/c5bfeb39f96b6199e67a

「リストは自分自身のfoldr関数として定義される」について
https://qiita.com/suharahiromichi/items/4bd2483d7aa766a570da

形式化された不完全性定理の証明
https://qiita.com/suharahiromichi/items/d249d4a5c5a3072677e1


# 資料

Coqで学ぶ定理証明入門メモ
https://qiita.com/R_Asa/items/471330f39020d222c792

「型システム入門」と「ソフトウェアの基礎」の対応
https://qiita.com/suharahiromichi/items/77801c26fe5fde0d166a

software foundations Equiv.v [havoc_copy]
https://qiita.com/wataruY@github/items/4fadb287024839ce0ea5

```coq
Syntax error: [prim:var] expected after 'move' (in [tactic:simple_tactic]).
```

# Proof General 等
Spacemacs上のProofGeneralでEasyCryptを動かす
https://qiita.com/Gedyra/items/8fc1e415e8b992a20f89

Emacs & ProofGeneral で Coq 使い分け
https://qiita.com/mathink/items/0f3f5e8620ba54266161

Proof General が "Searching for program: No such file or directory, coqtop" というときの対処法
https://qiita.com/kimitaka@github/items/3790ec770887d55af540

Proof Generalのholes-modeを無効化
https://qiita.com/OKU_K/items/c578b4b34e74f4c762f3

Coq + Proof Generalで使うキーシーケンス
https://qiita.com/watertight/items/894cb1ed85a32f4ba863

Coq-8.5の実装内にプリンタを加える（メモ）
https://qiita.com/hist102/items/c615efb786907b352813

じぇねらるたんシールの注文方法
https://qiita.com/yoshihiro503/items/a0c7df7e73090ee2b9a3

「じぇねらるたん」は、Coq環境Proof Generalの公式「幸運の象徴」(mascot)。
https://proofgeneral.github.io/

# 関連資料
試して面白いプログラミング言語6選
https://qiita.com/egisatoshi/items/f728108344f87840dfef

# 参考文献(slideshare)
Coq for beginners
https://www.slideshare.net/yoshihiro503/coq-for-beginners?qid=31470cba-b5b4-494f-88c0-cfbb29a286b8&v=&b=&from_search=22

Coq Tutorial
https://www.slideshare.net/tmiya/coq-tutorial?qid=d52bdc11-b110-4a9d-9cd2-9360fcfcfe2a&v=&b=&from_search=2

Coqの公理
https://www.slideshare.net/qnighy/coq-61260896?qid=31470cba-b5b4-494f-88c0-cfbb29a286b8&v=&b=&from_search=24

Coq to Rubyによる証明駆動開発@名古屋ruby会議02
https://www.slideshare.net/mzpi/coq-to-rubyruby02?qid=a640f65d-794a-42aa-878c-476223646b6b&v=&b=&from_search=8

Coq関係計算ライブラリの開発と写像の性質の証明
https://www.slideshare.net/yoshihiromizoguchi/coq-49044889?qid=de688aba-2f8e-4b04-bbbe-e6080868cdf8&v=&b=&from_search=11

母語方式Coq
https://www.slideshare.net/kaizenjapan/coq-59179301

## errors
coq error
https://researchmap.jp/joaw7qjyn-49935/

Coq Seminorの演習結果（2）
https://researchmap.jp/jowiq0chb-49935/?lang=japanese

## link
Coq関係計算ライブラリの開発と写像の性質の証明
https://researchmap.jp/joemvy0av-27951/

Coqで学ぶ定理証明入門　TOP SE seminor at Nii
https://researchmap.jp/blogs/blog_entries/view/78451/cf1d7b1f50339029ee3a771b75a6afe8?frame_id=407644

## 自己参照

「Coqで証明書いてみた」の１行づつの実行を記録してみた。
https://qiita.com/kaizen_nagoya/items/6b8398bf6980315945c6

coq(ide)を使おう　または　初めてのcop(ide) mac編
https://qiita.com/kaizen_nagoya/items/a236dfbfaa4f946b4f8d

Godel’s Incompleteness Theorem in coq 壁いくつ、今壁4つ
https://qiita.com/kaizen_nagoya/items/181cb3dae504f64d0619

「Coqの余帰納法でハマってしまった」を記録
https://qiita.com/kaizen_nagoya/items/7c9e32a024aeaf7b5658

MacintoshでCoqide
https://qiita.com/kaizen_nagoya/items/0314ca15130bdfa9dce2


# 関連資料
' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e
## Engineering Festa 2024前に必読記事一覧
登壇直後版 色使い(JIS安全色) Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜 スライド編 0.15
https://qiita.com/kaizen_nagoya/items/f0d3070d839f4f735b2b

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

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

統計の嘘。仮説（127）
https://qiita.com/kaizen_nagoya/items/63b48ecf258a3471c51b

自分の言葉だけで論理展開できるのが天才なら、文章の引用だけで論理展開できるのが秀才だ。仮説（136）
https://qiita.com/kaizen_nagoya/items/97cf07b9e24f860624dd

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

あなたは「勘違いまとめ」から、勘違いだと言っていることが勘違いだといくつ見つけられますか。人間の間違い(human error(125))の種類と対策
https://qiita.com/kaizen_nagoya/items/ae391b77fffb098b8fb4

プログラマの「プログラムが書ける」思い込みは強みだ。３つの理由。仮説（168）統計と確率(17) , OSEK(79)
https://qiita.com/kaizen_nagoya/items/bc5dd86e414de402ec29

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

これからの情報伝達手段の在り方について考えてみよう。炎上と便乗。
https://qiita.com/kaizen_nagoya/items/71a09077ac195214f0db

ISO/IEC JTC1 SC7 Software and System Engineering
https://qiita.com/kaizen_nagoya/items/48b43f0f6976a078d907

アクセシビリティの知見を発信しよう！（再び）
https://qiita.com/kaizen_nagoya/items/03457eb9ee74105ee618

統計論及確率論輪講（再び）
https://qiita.com/kaizen_nagoya/items/590874ccfca988e85ea3

読者の心をグッと惹き寄せる7つの魔法
https://qiita.com/kaizen_nagoya/items/b1b5e89bd5c0a211d862

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

ソースコードで議論しよう。日本語で議論するの止めましょう（あるプログラミング技術の議論報告）
https://qiita.com/kaizen_nagoya/items/8b9811c80f3338c6c0b0

脳内コンパイラの3つの危険
https://qiita.com/kaizen_nagoya/items/7025cf2d7bd9f276e382

心理学の本を読むよりはコンパイラ書いた方がよくね。仮説（34）
https://qiita.com/kaizen_nagoya/items/fa715732cc148e48880e

NASAを超えるつもりがあれば読んでください。
https://qiita.com/kaizen_nagoya/items/e81669f9cb53109157f6

データサイエンティストの気づき!「勉強して仕事に役立てない人。大嫌い!!」『それ自分かも?』ってなった!!! 
https://qiita.com/kaizen_nagoya/items/d85830d58d8dd7f71d07

「ぼくの好きな先生」「人がやらないことをやれ」プログラマになるまで。仮説（37）　
https://qiita.com/kaizen_nagoya/items/53e4bded9fe5f724b3c4

なぜ経済学徒を辞め、計算機屋になったか（経済学部入学前・入学後・卒業後対応） 転職(1)  
https://qiita.com/kaizen_nagoya/items/06335a1d24c099733f64    

プログラミング言語教育のXYZ。 仮説（52） 
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4

【24卒向け】9ヶ月後に年収１０００万円を目指す。二つの関門と三つの道。
https://qiita.com/kaizen_nagoya/items/fb5bff147193f726ad25

「【25卒向け】Qiita Career Meetup for STUDENT」予習の勧め
https://qiita.com/kaizen_nagoya/items/00eadb8a6e738cb6336f

大学入試不合格でも筆記試験のない大学に入って卒業できる。卒業しなくても博士になれる。
https://qiita.com/kaizen_nagoya/items/74adec99f396d64b5fd5

全世界の不登校の子供たち「博士論文」を書こう。世界子供博士論文遠隔実践中心 安全(99)
https://qiita.com/kaizen_nagoya/items/912d69032c012bcc84f2

小川メソッド　覚え（書きかけ）
https://qiita.com/kaizen_nagoya/items/3593d72eca551742df68

DoCAP（ドゥーキャップ）って何ですか？
https://qiita.com/kaizen_nagoya/items/47e0e6509ab792c43327

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views１万越え、もうすぐ１万記事一覧 最近いいねをいただいた213記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853
# 自己記事一覧
Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年２月末を目標にしている。

物理記事　上位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

図(0) state, sequence and timing. UML and お絵描き 
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧 
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

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

プログラマによる、プログラマのための、統計(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

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

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

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.
### 文書履歴(document history)
ver. 0.10 初校 20180317
ver. 0.11 追記、分類 20180318
ver. 0.12 参考文献slideshare追記 20180320
ver. 0.13 「不完全性定理の証明」等追記 20180324
ver. 0.14 OCaml入門をリンクに 20180325
ver. 0.15 URL追記 20190822
ver. 0.16 Coq勉強会 by 今井宜洋 追記 20200321
ver. 0.17 @nekonibox 追記 20210812
ver. 0.18 資料追記　分類見直し 20210901
ver. 0.11 ae pag 20220911
### 最後までおよみいただきありがとうございました。
いいね　💚、フォローをお願いします。
####  Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.