西村 敏男 | 東京教育大学
スポンサーリンク
概要
関連著者
-
西村 敏男
東京教育大学
-
樫田 良精
東京大学付属病院
-
鈴木 光男
東京工業大学理学部情報科学科
-
間野 浩太郎
青山学院大学理工学部経営工学科
-
森口 繁一
東京大学工学部
-
新沢 雄一
早稲田大学 商学部
-
西村 敏男
教育大学理学部
-
山内 二郎
青山学院大学理工学部
-
井出 修
東京教育大学理学部
-
大矢 建正
九州大学工学部
-
間野 浩太郎
青山学院大学
-
神居 雅志
東京教育大学理学部
-
鈴木 光男
東京工業大学
-
西村 敏男
筑波大学
-
鈴木 光男
東京工業大学工学部
-
山内 二郎
青山学院大学 理工学部
著作論文
- 一般教育におけるコンピュータ教育のあり方
- Theorem-ProvingのProgram (プログラムの基礎理論)
- Gentzen-Style Formulation of Systems of Set-Calculus (プログラムの基礎理論)
- 高等専門学校における情報処理教育の実情調査
- 記号論理・アルゴリズム(その2)
- 記号論理・アルゴリズム(1)
- 定理の証明