| 研究展示 | |
| 場所 | E棟2F-5Fミーティングコーナー・他 |
| 日時 | 6月8日(木) 13:00〜17:00 & 6月9日(金) 10:00〜16:00 |
| ■信頼できるエージェントの創出 | |
| ・正しく動くエージェントの作り方 ─ エージェントプログラムの論理的検証方法 ─ | |
| ・タイミングを間違えないエージェント ─ プロセス代数によるエージェント間インタラクション ─ | |
| ■柔らかいハードウェア設計 | |
| ・いつでもどこでも専用機 ─ 汎用可変ハードウェア向けの論理合成 ─ | ■言語の壁を越えたコミュニケーション |
| ・日本語｜が‖わかる‖コンピュータ｜へ ─ 電子辞書「日本語語彙大系」と形態素解析「ALTJAWS」 | |
| ・隠れた言葉をさがせ！ ─ 省略補完ルール獲得システム ─ | |
| ■グローバル化を加速する翻訳テクノロジー | |
| ・マレー語ってどんな言葉？ ─ 日馬翻訳システム「ALT-J/M」─ | |
| ■コンピュータを達人にするテクノロジー | |
| ・格言を作り出す囲碁コンピュータをめざして | |
| 展示項目 | |
| ■「見る、聞く、話す」の解明 | |
| ・「耳がよい」とはどういうことか？ | |
| ・すばやくものをみるしくみ | |
| ・発話動作のメカニズムを探る | |
| ・ことばって何? どうやって使うの? ─ ことば工学 ─ | |
| ・あなたのボキャ貧度はどれくらい？ ─ 語彙数推定テスト ─ | |
| ■情報科学の根本問題に挑む | |
| ・究極の暗号を目指して ─ 公開鍵暗号 ─ | |
| ・答が一つ、真理は一つ ─ 無矛盾な計算 ─ | |
| ・カオスを用いて覗きを撃退 | |
| ■感性をみがく | |
| ・音楽の感動の謎を解く ─ 「さび」のメカニズム ─ | |
| ・笑いの謎を解く ─ 笑いのメカニズム ─ | |
| ・表現を科学する ─絵コンテ制作支援システム─ | |
| ・「ひとのあかり」─ "繋がっている"ことを伝えるメディア ─ | |
| ■成長・進化するからくり創り | |
| ・電子の世界で多数決 ─ ハードウェアの新しい可変原理 ─ | |
| ・触れ合いのコミュニケーション ─ コミュニケーションロボット ─ | |
