小西 善二郎 | 早稲田大学理工学研究科
スポンサーリンク
概要
関連著者
-
二村 良彦
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
小西 善二郎
早稲田大学理工学研究科
-
小西 善二郎
早稲田大学ソフトウェア生産技術研究所
-
坂本 巨樹
早稲田大学理工学研究科
-
坂本 巨樹
早稲田大学大学院理工学研究科
-
市川 祐輔
早稲田大学大学院理工学研究科情報・ネットワーク専攻
-
筧 一彦
東京大学大学院情報理工学系研究科数理情報学
-
筧 一彦
早稲田大学大学院理工学研究科,学振特別研究員
-
大谷 啓記
NTTコミュニケーションウェア(株)
-
川本 史生
早稲田大学大学院理工学研究科
-
松谷 将寛
日本サン・マイクロシステムズ株式会社
-
宋 立トウ
早稲田大学理工学研究科
著作論文
- 木再帰プログラムからの再帰還元(一般発表)
- ある種の木再帰プログラムからの再帰除去
- プログラム変換における数式処理の役割
- 単一後継関数を持つ再帰プログラムからの再帰除去
- LB-1 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化(B. ソフトウェア)
- 一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)
- 一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)
- 3K-5 一般部分計算(GPC)の実験システムの実装
- 線形再帰プログラムからの再帰除去法の実現とその問題点(一般発表)
- オブジェクトを用いた計算モデルとその2次元トレーサへの応用
- 線形再帰プログラムからの再帰除去法の実現