市川 祐輔 | 早稲田大学大学院理工学研究科情報・ネットワーク専攻
スポンサーリンク
概要
関連著者
-
市川 祐輔
早稲田大学大学院理工学研究科情報・ネットワーク専攻
-
二村 良彦
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
小西 善二郎
早稲田大学理工学研究科
-
小西 善二郎
早稲田大学ソフトウェア生産技術研究所
-
市川 祐輔
早稲田大学理工学術院
-
上田 和紀
早稲田大学理工学部情報学科
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学
-
上田 和紀
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
二村 良彦
Futamura Institute, Inc.
-
二村 良彦
Futamura Institute Inc.
-
松谷 将寛
日本サン・マイクロシステムズ株式会社
著作論文
- A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)
- プログラム変換における数式処理の役割
- 単一後継関数を持つ再帰プログラムからの再帰除去
- LB-1 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化(B. ソフトウェア)
- LA_003 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法(A分野:モデル・アルゴリズム・プログラミング)
- 先使用権の立証のための証拠保全手法に関するフレームワーク
- N-033 電子創作物の証拠保全手法に関するフレームワーク(N分野:教育・人文科学)