水口 博義 | 京都モノテック/次世代バイオ医薬品製造技術研究組合

スポンサーリンク

概要

• 同名の論文著者
• 京都モノテック/次世代バイオ医薬品製造技術研究組合の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク