榎本 進 | 東京理科大学
スポンサーリンク
概要
関連著者
-
榎本 進
東京理科大学
-
小島 俊雄
工業技術院機械技術研究所
-
小島 俊雄
産業技術総合研究所
-
小島 俊雄
機械技術研究所
-
小島 俊雄
機械技研
-
山口 文彦
東京理科大学理工学部情報科学科
-
榎本 進
東京理科大学理工学部情報科学科
-
山口 文彦
東京理科大学
-
武井 一
東京理科大学
-
田中 豪起
東京理科大学
-
田邊 基文
東京理科大学
-
三末 和男
筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻
-
三末 和男
富士通(株)国際情報社会科学研究所
-
片山 卓也
東京工業大学情報理工学研究科計算工学専攻
-
片山 卓也
東京工業大学
-
宮地 利雄
東京工業大学情報工学科
-
榎本 肇
東京工業大学工学部情報工学科
-
大橋 洋介
東京理科大学大学院理工学研究科情報科学専攻
-
今村 聡
機械技術研究所
-
今村 聡
産業技術総合研究所
-
上口 達也
東京理科大学
-
村上 貴宣
東京理科大学
-
榊原 寿
東京理科大学
-
堀江 優美子
東京理科大学
-
榎本 肇
東京工業大学:富士通国際情報社会科学研究所
-
宮地 利雄
東京工業大学工学部情報工学科
-
大槻 泰則
三菱電機株式会社
著作論文
- プロダクトモデルの類似性の代数的仕様記述
- プログラミング,何をどう教えているか 関数型言語Standard MLのプログラミング教育
- 関数型言語Standard MLのプログラミング教育(プログラミング,何をどう教えているか)
- プログラムの部分的自動生成 : インターフェイス部への表示的意味論の利用
- Lorel-2言語について
- D-6-4 バイナリレベルSIMD並列化システムの構築(D-6. コンピュータシステム, 情報・システム1)
- プロダクトモデルの代数仕様の検査
- フレーム構造の形式的取扱いの一方法
- プロダクトモデルの類似性の検証
- EXPRESS言語の代数的仕様記述への翻訳
- エージェントの社会による協調プランニング : 最適解を得るアルゴリズムの開発
- アクタ・モデルを介したデータフロー・モデルによるオブジェクト指向の実現