| |
| 大項目 |
|
|
| TT1 特別トラック（1）バイオ情報学 |
| |
1 データベース |
| |
| |
01 塩基配列
02 ゲノム
03 タンパク質
04 相互作用
05 プロテオミクス
06 生物資源
07 生態
08 統合
99 その他 |
|
| |
2 解析技術 |
| |
| |
01 配列解析
02 遺伝子発現解析
03 タンパク構造解析
04 多型情報解析
05 医療情報解析
99 その他 |
|
| |
3 情報知識抽出 |
| |
| |
01 データマイニング
02 テキストマイニング
03 自然言語応用
04 オントロジー
05 視覚化
99 その他 |
|
| |
4 生命モデリング |
| |
| |
01 細胞
02 発生
03 代謝
04 免疫
05 脳・神経系
06 進化
99 その他 |
|
| |
5 情報科学への応用 |
| |
| |
01 遺伝的アルゴリズム
02 人工生命
03 DNAコンピューティング
99 その他 |
|
| |
6 インフラストラクチャ |
| |
| |
01 バイオグリッド
02 バイオWebサービス
03 バイオ向け専用計算機
04 バイオ向け並列アルゴリズム
99 その他 |
|
|
| |
| TT2 特別トラック（2）経営に貢献するＩＴ |
| |
1 Enterprise Architecture |
| |
| |
01 EAフレームワーク
02 参照モデル
03 方法論
04 ツール
05 推進体制
99 その他 |
|
| |
2 経営 |
| |
| |
01 パフォーマンス測定と分析
02 戦略立案
03 BPR
04 ビジネスモデリング
05 ＩＴガバナンス
06 ＩＴ調達と供給
99 その他 |
|
| |
3 実現技術 |
| |
| |
01 セキュリティ
02 ビジネスプロセス管理
03 ビジネスインテリジェンス
04 Webサービス
05 ポータル
99 その他 |
|
| |
4 公共システム事例 |
| |
| |
01 電子政府
02 電子自治体
03 電子入札
04 電子申請
99 その他 |
|
| |
5 企業システム事例 |
| |
| |
01 ERP
02 SCM
03 CRM
04 PLM
05 EIP
06 電子商取引
99 その他 |
|
| |
|
|
| TT3 特別トラック（3）システム検証技術 - その可能性・方向性 |
| |
1 仕様記述・モデル化 |
| |
| |
01 仕様記述言語
02 オートマトン
03 論理
04 書換え系
05 プロセス代数
06 BDD
99 その他 |
|
| |
2 検証手法・アルゴリズム |
| |
| |
01 モデル検査
02 定理証明
03 型検査
04 抽象化
05 検証ツール
06 テスト
99 その他 |
|
| |
3 応用 |
| |
| |
01 セキュリティ
02 組み込みシステム
03 ソフトウェア
04 ネットワーク
05 ユビキタス
06 ミッションクリティカルシステム
99 その他 |
|
| |
4 適用事例・ケーススタディ |
| |
| |
01 開発プロセス
02 効果
03 適用の障壁
99 その他 |
|
|
| |