スポンサーリンク
早稲田大学理工学部情報学科 | 論文
- 多次元時系列の大域的相関分析法
- 数学ICAIシステムにおける演習問題の生成
- 自動生成された候補からの選択によるソフトウェア要求モデル構築とプログラム生成
- 知的情報システム : 考え方と実装
- 知的情報システム : 考え方と実装
- モデルに基づく対話型要求設計システム
- 専門知識の共有と学習利用
- 工科系短大における数学教育のためのICAIシステムの検討
- A-022 数式処理システムMathematica上における再帰除去システム(A分野:モデル・アルゴリズム・プログラミング)
- モバイルエージェントによるバッテリ切れ避難システム : EASTER(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- プロファイルを使用した並列LTLモデル検査のチューニング
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- A-007 区間演算を用いたODE Solverにおける任意精度演算の導入とパラメタ最適化(モデル・アルゴリズム・プログラミング,一般論文)
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- LMNtalモデル検査器における状態爆発対策(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- ソフトウェア論文座談会
- 隣接S-boxの影響を一部考慮したDESの経路探索
- 階層グラフ書換え言語LMNtalの処理系(ソフトウェア論文)
- FEALの最良差分特性探索