スポンサーリンク
東京工業大学 大学院社会理工学研究科 | 論文
- 「システムLSIの設計技術と設計自動化」の編集にあたって
- 算術演算回路のデバッグ支援技術
- SpecC言語に基づくシステムレベル設計手法
- 問題点のまとめと1つの提案
- システムLSIの設計技術・設計支援技術(CAD技術)に関する問題点
- 内発的動機づけを導入したエージェンシー・モデルの分析(ゲーム理論の拡張 : 新たな合理性概念の構築に向けて)
- 限定的な推論能力が協力行動を導く可能性(ゲーム理論の拡張 : 新たな合理性概念の構築に向けて)
- 専用プロセッサ用命令セットの自動生成手法の提案と実装
- 数学的な見方・考え方を育成するゲーミング教材の設計原理 (教育実践を指向した学習支援システム/一般)
- 自己制御学習のための電子ポートフォリオシステムの開発 (教育実践を指向した学習支援システム/一般)
- グラフラプラシアンを用いたCDの特徴抽出とその利用(データ解析コンペティション:CD販売データの分析)
- 1-D-12 グラフ構造を用いたCDの特徴抽出とその利用(部会報告(マーケティング・インテリジェンス))
- Performance-Constrained Transistor Sizing for Different Cell Count Minimization
- AI-1-4 超ディペンダブルVLSIへの挑戦(AI-1.デイベンダブルVLSIに向けて,依頼シンポジウム,ソサイエティ企画)
- Synchronization Verification in System-Level Design with ILP Solvers(System Level Design,VLSI Design and CAD Algorithms)
- EFSM-based Weight-oriented Concolic Testing for Embedded Software
- 充足可能性判定を利用した最適コード生成手法
- 新たなモラル・ハザード概念を分析するためのエージェンシー・モデルの提案
- エージェントの努力水準に関するn個の指標に基づいたインセンティブ・システムの設計問題について
- 複数の目的をもった労働者に対するインセンティブ・システムの設計問題に関する分析