岩崎 英哉 | 東京大学教育用計算機センター
スポンサーリンク
概要
関連著者
-
岩崎 英哉
東京大学教育用計算機センター
-
胡 振江
国立情報学研究所アーキテクチャ科学研究系
-
武市 正人
電気通信大学電気通信学部計算機科学科
-
武市 正人
東京大学工学部
-
岩崎 英哉
電気通信大学大学院情報理工学研究科
-
胡 振江
東京大学大学院情報理工学系研究科
-
岩崎 英哉
東京農工大学工学部
-
岩崎 英哉
東京大学工学部東京大学教育用計算機センター
-
胡 振江
東京大学工学部計数工学科
-
寺田 実
電通大
-
相田 仁
東京大学工学部電子・電気工学科
-
寺田 実
東京大学工学部機械情報工学科
-
寺田 実
東京大学工学部
-
武市 正人
東京大学大学院情報理工学系研究科
-
相田 仁
東京大学工学系研究科
-
金子 敬一
東京農工大学大学院共生科学技術研究院
-
金子 敬一
東京大学大学院工学系研究科
-
徐 良為
株式会社数理システム
-
竹内 幹雄
東京大学工学部
-
田中 久美子
東京大学工学部
-
斉藤 忠夫
東京大学教育用計算機センター
-
徐 良為
東京大学大学院工学系研究科情報工学専攻
-
長谷部 正子
東京大学教育用計算機センター
著作論文
- 再帰的に定義された関係からのアルゴリズムの導出
- Fuji International Workshop on Functional and Logic Programming 報告
- 非対訳コーパスを用いた訳語関係の抽出
- 特集「ごみ集めの基礎と最近の動向」の編集にあたって
- 分散型教育用計算機システムの運用について
- 関数プログラムのプロモーション変換のための二手法の関係
- オブジェクトの形状が定義可能な並列記号処理言語用核の設計と実現
- 平面上の矩形和の最大値問題の並列プログラムの導出
- Catamorphismに基づく関数プログラムの変換
- Catamorphismに基づく関数プログラムの変換