
エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
SPIN: 50歳からのプログラミング言語入門。docker(152) coding(47) coq(10) - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
SPIN: 50歳からのプログラミング言語入門。docker(152) coding(47) coq(10) - Qiita
Errata of the Book "Modeling in Event-B" http://www.event-b.org/A_errata.pdf ちなみに、50歳までに... Errata of the Book "Modeling in Event-B" http://www.event-b.org/A_errata.pdf ちなみに、50歳までにお金になった仕事で取り組んだことがある言語は、 アセンブラ、C、C++, JAVA, Basic, Fortran, COBOL、LaTeX。10年に3つくらいの言語しか学習していない。20代に、アセンブラ、BASIC, COBOL, fortranをやっていて、30代にC++とJAVAとLaTex。40代は、、、。 LISPとSmallTalkは動かして見たけど実用的または研究的なプログラムは1行たりとも書いたことがなかった。 Squarkの子供向け教育は何度か行った。 Small Talkのデバッグは少しした。 電総研では、LISPが主言語の研究室に3ヶ月滞在したことがある。最初の1ヶ月でSmall C Comp