6月21日(月) 午前
10:00 - 11:40 |
| (1) |
10:00-10:25 |
人の嗜好を扱う意思決定システムに関する研究 |
○粉川貴至・小川 均（立命館大） |
| (2) |
10:25-10:50 |
参加型モデリングとマルチエージェントシミュレーション |
○鳥居大祐・石田 亨（京大） |
| (3) |
10:50-11:15 |
カーネル法に基づく構造データのラベリング学習アルゴリズム |
○鹿島久嗣・坪井祐太（日本IBM） |
| (4) |
11:15-11:40 |
複数のSATソルバを用いたジョブショップスケジューリング問題の解法 |
○宋 剛秀（神戸大）・井上克已（NII） |
6月21日(月) 午後
13:00 - 16:50 |
| (5) |
13:00-14:00 |
［招待講演］先行投機的計算の論理的定式化 |
○佐藤 健（NII） |
| |
14:00-14:10 |
休憩 （ 10分 ） |
| (6) |
14:10-14:35 |
Computing Circumscriptive Models by means of Answer Set Programming |
○Toshiko Wakaki（Shibaura Inst. of Tech.）・Katsumi Inoue（NII） |
| (7) |
14:35-15:00 |
抽象モデル生成による節集合の前処理 |
○梅田眞由美・越村三幸・長谷川隆三（九大） |
| (8) |
15:00-15:25 |
Upside-Down Transfromation in SOL and its Application |
○Koji Iwanuma（Yamanashi Univ.）・Katsumi Inoue（NII）・Hidetomo Nabeshima（Yamanashi Univ.） |
| |
15:25-15:35 |
休憩 （ 10分 ） |
| (9) |
15:35-16:00 |
遺伝的アルゴリズムにおける新しい選択法 ～ 理論 ～ |
○平早哲明・澤谷 智・宗久保子・宗久知男（山梨大） |
| (10) |
16:00-16:25 |
遺伝的アルゴリズムにおける新選択法(2) ～ De Jongの標準関数による実験 ～ |
○澤谷 智・平早哲明・宗久保子・宗久知男（山梨大） |
| (11) |
16:25-16:50 |
ボルツマンマシンの高速化 |
伊藤大介・○鳥居圭太・宗久知男（山梨大） |
:ai-
n
