yomitech

プログラミング言語教育のXYZ, 仮説(52) Youtube(1) coq(9)

この資料は、下記のyoutubeにあげた資料の補足資料です。 名古屋Reject会議　2011 プログラミング言語教育のXYZ <この項は書きかけです。順次追記します。 目次 1. あなたはどうやって言語を覚えましたか

人生で影響を受けた本100冊。

はじめに 英語(77) 安全(45) LaTeX(9) 図(47) 転職(51) 色(28) 下記には、typewriterまたはcomputerのkeyboardで全文写経した本は数冊（すべて英語）あります。 輪講で全部読んだ本、日本語と英語でも読んだ本などもそれぞれ１０冊以上あります。 100回以上読んだ本が10冊以上あるような気がします。

セーフウェア、ナンシー・G・レブソン　安全(47)

今まで買ってよかった技術書を紹介しよう！ 参加記事です。 人生で影響を受けた本100冊。Youtube(3) 安全分析の具体例として、著者の経験豊富なことは大事。 経験を体系化することも大事だが、経験のない人が同じ枠組みで考えても駄目な例かもしれない。

NASAを超えるつもりがあれば読んでください。OSEK(85) 安全(97)

買ってよかった技術書を紹介しよう！ 参加記事です。 <この項は書きかけです。順次追記します。 This article is not completed. I will add some words in order. 人生で影響を受けた

名刺がわりの愛読技術書16冊

名刺がわりの愛読技術書16冊を紹介します。 「名刺がわりの技術書１６冊」って書いたら、技術者なら自分で書いた本１６冊っていう意味になる。そこで、「名刺がわりの愛読技術書16冊」という表題にさせていただいた。 （数字）は、最後に紹介する　「人生で影響を受けた本100冊」で取り上げた際の番号です。 自分が一部でも書いた本は３冊紛れ込んでいます。 別企画では、自分が書いたものは含めない版も作りました。合…