川瀬 智広 | 宇都宮大学　工学部　機械システム工学科

スポンサーリンク

概要

• 川瀬 智広の詳細を見る
• 同名の論文著者
• 宇都宮大学　工学部　機械システム工学科の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク