高橋 正子 | 国際基督教大学 理学科
スポンサーリンク
概要
関連著者
-
高橋 正子
国際基督教大学 理学科
-
木本 正裕
コンパックコンピュータ(株)
-
高橋 正子
Department of Information Science, Tokyo Institute of Technology
著作論文
- On Computable Tree Functions (Algorithms in Algebraic Systems and Computation Theory)
- プログラムの起源を探る
- 論理学の歴史とコンピュータ (数学解析の計算機上での理論的展開とその遂行可能性)
- The Greatest Fixed-Points and Rational Omega-Tree Languages : Extended abstract(Algorithms : Mathematical Foundations and Applications)