この記事は、2011年に記載したもの
https://researchmap.jp/jokq1i60k-45644/
の転載です。

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.

言語学習

言語学習の実践として
母語方式
外来語方式
の2種類に分けて、体系的に対応してこようとしました。

特に、プログラミング言語教育を
外来語方式
でしか実施しない機関が多いので，
母語方式
を中心に実験してきました。

この5年ほど，大きな壁にぶつかっています。

8086のアセンブラ
C言語
C++
JAVA
は，母語方式でなんとかなってきました。

言語仕様が小さい。
資料がたくさんあり，くりかえし反復利用できた。

最初の壁にぶつかったのが
JAVAでのDB拡張です。
次にC++でのTemplate

時枝学説の継承と三浦理論の展開 (言語過程説の探求)佐良木昌 (編集)明石書店(2004/12/13)

に
英語の現在時制解明への新視点（矢吹眞康）
を書かれている矢吹さんが，中学、高校での英語教育で，
１つの単語に着目して，1つの単語には1つの意味しかなく、
その意味を，主体と客体の視点（立場）の違いで展開していくというお話をお聞きしたときに，プログラミング言語でも，
CPU
コンパイラなどの処理系
附属のライブラリ群
アプリケーション記述者
ソフトウェアの利用者
の5つの視点で言語を展開する必要性は感じていました。

この5年
verilog-HDL
VHDL
perl
Ruby
spin(promela)
UML
XML
Z
VDM++
uppaal
alloy
B method
Event-B
Coq
system C
と年に3つの言語を理解しないといけない状況に遭遇し，
どう壁を乗り越えたらいいかわからないでいます。

現在のworkaround

1　相互変換ツールで対応する。

UMLの道具がファイルをXML形式で保存している。
あるUMLからコード生成するソフトウェアの設定がXMLでできる。
#Coqにあるextractの機能も強力らしい

2　部分集合で対応する。

C言語におけるMISRA-C
C++におけるMISRA-C++
Verilog-HDL/VHDLにおけるStarc RTL設計スタイルガイド
のような部分集合(subset)定義をてこに部分集合空間が何かから理解する。
＃C＋＋ではTemplateでつっかえています。

3　挙動の不具合を記録する（母語方式の一部）

理解することはできなくても，
それそれの処理系に寄与することはできるかもしれないので，
まめに動かし、報告することにより，そのうち分かるようになる。

10の視点

5つの視点だったのが，CPU自体も記述するようになったので，
CPUが
1 HDLの処理系
2 HDLの記述
3 HDLを動かす回路
4 HDLを動かす回路の記述
の4つに分解され，
5 コンパイラなどの処理系
6 附属のライブラリ群
7 アプリケーション記述者
8 ソフトウェアの利用者
と合わせるために
9 状態遷移などの抽象的な記述
10 HDLとコンパイラなどの両方の言語の共通部分
を含めた10の視点で言語を展開する必要性は感じています。

関連する事項は順次整理します。

p.s.
Proof Cafeの会場で，「ゆるperl」の勉強会が横でありました。
ET2011の案内を一部お配りしました。

Appleのユーザ会（AUMG2011）の発表を聞いたといってくださった方がおみえでしたので，名刺も配ってしまいました。

OSC Nagoya2011の時に、perlのブースでパールうまく書けないんだけどという相談をした方もおみえでした。

コミュニティのまわりをうろついて，そのうち，知らないうちに言語が伝染してくるとうれしい。

一覧

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

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on the individual's experience. It has nothing to do with the organization or business to which I currently belong.

文書履歴(document history)

ver. 0.01 初稿　20221121

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.