筧 捷彦 | 東京大学工学部
スポンサーリンク
概要
関連著者
-
筧 捷彦
東京大学工学部
-
筧 捷彦
早稲田大学
-
筧 捷彦
立教大学理学部数学科
-
島内 剛一
立教大学理学部
-
和田 英一
東京大学工学部
-
前野 年紀
東京大学工学部計数工学部
-
島内 剛一
立教大学理学部数学科
著作論文
- Dynamics of System Program : Progressive Induction (アルゴリズムにおける証明論)
- R.L. LondonによるR. Floydのソート・プログラムの正当性の証明について (プログラムの基礎理論)
- ALGOL N について : (VI) Standard decla Fations (つづき)
- ALGOL N について : (VI) Standard declarations (つづき)
- ALGOL Nについて : (VI) Programの動的作用
- 6902 LISPによるNewton Raphson 法