平野 実 | Department of Otolaryngology Kurume University, School of Medicine
スポンサーリンク
概要
論文 | ランダム
- 証明支援系Coqのプログラムに対する対話的修正機構の提案
- 分散メモリアーキテクチャ向けFuceランタイムシステムとその上でのストリーム処理の評価
- 純粋関数型言語を用いた超コンパクト音声認識デコーダの開発
- メモ化表へのプリフェッチによるPackrat Parserの並列化
- グラフ書き換え言語REGRELによるメタプログラミングの表現