小西 善二郎 | 早稲田大学ソフトウェア生産技術研究所

スポンサーリンク

概要

• 小西 善二郎の詳細を見る
• 同名の論文著者
• 早稲田大学ソフトウェア生産技術研究所の論文著者

関連著者

• 二村 良彦

  早稲田大学理工学部コンピュータ・ネットワーク工学科

• 小西 善二郎

  早稲田大学理工学研究科

• 小西 善二郎

  早稲田大学ソフトウェア生産技術研究所

• 坂本 巨樹

  早稲田大学理工学研究科

• 坂本 巨樹

  早稲田大学大学院理工学研究科

• 市川 祐輔

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 筧 一彦

  東京大学大学院情報理工学系研究科数理情報学

• 筧 一彦

  早稲田大学大学院理工学研究科,学振特別研究員

• 大谷 啓記

  NTTコミュニケーションウェア(株)

• 川本 史生

  早稲田大学大学院理工学研究科

• 松谷 将寛

  日本サン・マイクロシステムズ株式会社

• 宋 立トウ

  早稲田大学理工学研究科

もっと見る 閉じる

著作論文

• 木再帰プログラムからの再帰還元(一般発表)
• ある種の木再帰プログラムからの再帰除去
• プログラム変換における数式処理の役割
• 単一後継関数を持つ再帰プログラムからの再帰除去
• LB-1 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化(B. ソフトウェア)
• 一般部分計算(GPC)における定理証明系と停止条件の判定 (プログラム変換と記号・数式処理)
• 一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)
• 3K-5 一般部分計算(GPC)の実験システムの実装
• 線形再帰プログラムからの再帰除去法の実現とその問題点(一般発表)
• オブジェクトを用いた計算モデルとその2次元トレーサへの応用
• 線形再帰プログラムからの再帰除去法の実現

もっと見る 閉じる

スポンサーリンク