概要

このページは、過去の記録からプログラム等を再構成したものです。

開催概要

  • 日程: 1967年1月11日 〜 13日 (報告集奥付発行日からの推定)
  • 会場: モテル・ハコネ, 神奈川県箱根町 (後の箱根彫刻の森ホテル; 山内二郎先生 人と業績の記述からの推定)

プログラム

A.
1.論理数学                                         西村敏男, 広瀬 健 A-1
3-1 COBOLのファイル                                        西村恕彦 A-15
3-2 PL/I および ALGOL X における構造データ                 米田信夫 A-25
3-3 I.D.S.試論                                             上村義明 A-36
4.データ伝送と電子計算機システム                  大泉充郎, 高橋 理 A-37

B.
1-1 微分方程式の数値解法の安定性                          清水辰次郎 B-1
1-2 幻影数値解                                    宇野利雄, 永坂秀子 B-7
1-3 常微分方程式の数値例                                   神沼靖子 B-12
1-4 dy/dx = -kxy に対する平滑子の適用について      林 健児, 東 □児 B-15
1-5 Van der Pol の式の数値積分                              高田 勝 B-20
1-6 常微分方程式の数値解法における難問対策へのある試み
                                       森口繁一, 伊理正夫, 小林光夫 B-28
2-1 大学における計算機教育
   (試験研究: 大学における数学教育, 計算機班報告)          西村敏男 B-41
2-2 高校における電子計算機教育について           藤野喜一, 喜多見孟 B-48
2-31 プログラミング教育について                            森口繁一 B-52
2-32 電子計算機用プログラミング早期教育の試み               吉沢 正 B-52
2-33 プログラミングの初心者教育におけるマークセンシングの応用
                                                           小林光夫 B-58

C.
1-1 平方根の有理関数近似                                    二宮市三 C-1
1-2 代数方程式の解法及び誤差                               平野菅保 C-10
1-3 級数の逆転の一般式とそのプログラム           山内二郎, 戸田英雄 C-46
1-4 制御解析のプログラム                          高田 勝, 田中秀幸 C-55


2-1 ベース・レジスタをもつ計算機TOSBAC-3400のFORTRANコンパイラについて
                                                  渡辺一郎, 木下 恂 C-65
2-2 記号の順次処理問題                                     西村恕彦 C-71
2-3 数学の証明を行うプログラム                 西村敏男, 伊大知紀子 C-88
2-4 日本語によるCOBOL                                     西村恕彦 C-108
2-5 OKITAC-5090Hによるタイムシェアリングシステムについて
                        牛島和夫, 有田五次郎, 大槻説乎, 久原由美子 C-104
2-6 慶應義塾大学 実験用タイムシェアリング・システム       土居範久 C-140
2-7 文献検索システム"MELISS"の紹介                         春原 猛 C-144

"夢のシンポジウム" 第3回報告集                                       Y-1