Sunagawa Makoto | Technology Research & Development Division, Dainippon Sumitomo Pharma Co., Ltd.
スポンサーリンク
概要
- Sunagawa Makotoの詳細を見る
- 同名の論文著者
- Technology Research & Development Division, Dainippon Sumitomo Pharma Co., Ltd.の論文著者
論文 | ランダム
- 証明支援系Coqのプログラムに対する対話的修正機構の提案
- 分散メモリアーキテクチャ向けFuceランタイムシステムとその上でのストリーム処理の評価
- 純粋関数型言語を用いた超コンパクト音声認識デコーダの開発
- メモ化表へのプリフェッチによるPackrat Parserの並列化
- グラフ書き換え言語REGRELによるメタプログラミングの表現