スポンサーリンク
国立情報学研究所アーキテクチャ科学研究系 | 論文
- Catamorphismに基づく関数プログラムの変換
- Catamorphismに基づく関数プログラムの変換
- 数理工学への誘い プログラム運算の数理--数式運算による並列プログラミング
- グラフの探索関数の再帰的定義と変換(特集●プログラミング及びプログラミング言語)
- シミュレーションを利用した形式的検証システム
- 正規表現を利用したスケーラブル環状回路の検証
- 正規表現を利用したスケーラブル環状回路の検証
- 対称性及び抽象化を利用した検証方式の効率化
- D-20-2 ゲームログ解析に基づくMMORPGにおけるbot検出フレームワークの一検討(D-20.情報論的学習理論と機械学習,一般セッション)
- プログラム運算による並列プログラミング(特集・新世紀フォーラム)
- 音響イメージングにおけるログステップマルチキャリヤ波によるドップラー速度推定法(超音波)