介護福祉士養成教育におけるグループ研究--授業実践と研究課題の傾向

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

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

もっと見る

スポンサーリンク