金山 裕 | 電気通信大学

スポンサーリンク

概要

• 金山 裕の詳細を見る
• 同名の論文著者
• 電気通信大学の論文著者

関連著者

• 金山 裕

  電気通信大学

• 鈴木 康年

  電気通信大学

• 金山 裕

  法政大学工学部

著作論文

• Program Schemas without Gotos (アルゴリズムにおける証明論)
• Regular Expressionの同値性判定プログラム (オートマトン理論と数理言語の研究)
• A Formal System of Programs (プログラムの基礎理論)
• カウンタ機械の計算可能性 (情報科学の数学的理論)
• 束準同形としてのプログラムと方程式解の一意性 (プログラムの基礎理論)

スポンサーリンク