この研究の目的は voiscape というあたらしい音声コミュニケーション・メディアを開発することである． このメディアをつかえば，2 人以上のひとが立体音響技術にもとづく仮想の音空間をつかってたがいに話をすることができる． 話者はその "音室" 内を自由に移動することができ，部屋の選択，入室，退室も自由にできる． また，カクテル・パーティのような状況もつくりだすことができる． いわば，音によって Second Life のような世界をつくることをめざしている (ただし，Second Life が仮想の世界をつくることを目的としているのに対して，voiscape がめざしているのは基本的には実世界をひろげることである)．

voiscape の論文は ここからアクセスすることができる．

voiscape について記述した雑誌記事等

• 特集 「原音回帰」, 日経エレクトロニクス, 2006.2.27, p. 99.
• Tech Analysis: Recapturing Original Sound, Nikkei Electronics Asia - May 2006.
• Recapturing Original Sound, Games, Business: Hitachi Ltd of Japan, meanwhile, is exploring business use. Yasushi Kanada, senior researcher, ...

課題

「人間の耳をいかすメディアをつくることのむずかしさ」 というブログ項目で課題の分析をこころみました．

軸づけ検索はテキスト検索の一方法であり，とくに百科事典の検索のために開発したものである． ユーザ (検索者) はキーワードにくわえて 「検索の軸」 を指定する． 検索結果はこの軸にそって整理される． たとえば，軸が 「年」 であれば，結果としてそのキーワードに関連する年表がえられる． 軸として 「地理軸」 やさまざまな種類の 「数量軸」 もつかえる．

この研究においてもっとも重要な論文 (日本語版) は 「軸づけ検索法 -- 文書からの抜粋を抽出・整理して出力する全文検索法」 である． 地名の抽出に関しては 「検索結果を地域で整理する百科事典テキスト検索のための地名情報抽出法」 にのべている． 他の論文は ここからアクセスできる．

テーマ検索 (軸づけ検索) のページ

「ネットで百科」 (世界大百科事典の検索サービス) などの情報がこのページにある．

これは Web ページがふくんでいる JavaScript プログラムをつかってその Web ページとまったく同一またはほとんど同一の Web ページを生成・表示する方法に関する小規模な研究である．

• 自己再生産がためせる Web ページ (ただし，一部のページをためすには Netscape Navigator 4.0 などが必要です.)
• 日本語の論文と英語の論文
• 自己増殖するプログラムと Web ページ (「カナダからのブログ」 に書いた解説)

CCM とは?

CCM (Chemical Casting Model, or Chemical-Computation Model) は創発的計算のモデルのひとつである． CCM は局所的な情報だけで動作する． つまり各反応 (単位動作) がかぎられたデータだけを使用し， 大局的な計画 (すなわちプログラム) なしに計算がすすむ． CCM は (エキスパート・システムの開発につかわれた従来のプロダクション・システムとはややことなる) 化学反応系のようなプロダクション・システム (規則ベースの計算法) にもとづいている． CCM にはつぎのような特徴がある．

• CCM においては反応規則とよばれるプロダクション規則とともに， 局所秩序度とよばれる局所的に定義された評価関数が使用される．
• 反応 (規則の適用) の順序はランダムである (いいかえると，確率的であり非決定論的である)． ランダムさが創発性のみなもとである．

また，触媒をくわえると反応によって変化しないが秩序度に影響して反応速度が変化したり，反応規則を合成すると一種のトンネル効果がえられたりする． フラストレーション蓄積法 (FAM) によってアニーリングに似た効果をえることができる．

• CCM の PDF やポストスクリプトの論文をふくむページ
• CCM のデモ (N クイーン，地図彩色，魔方陣などの問題がためせる.)
• 1995 年当時の 「最近の成果」 を報告するレポート
• CCM home page, including a list of recent papers and several papers in HTML (hypertext papers).

このモデルを最初は CPM (Chemical Programming Model) とよんでいたが，従来のプログラミングとのちがいを強調するために CCM と改名した． 中央の C はプログラムにもとづく計算とのちがいを強調するために "Casting" ということばの頭文字としたが，あまりにわかりにくくなるので "Computation" としておくほうがよいとおもわれる．

What is RACA?

RACA は複雑系のモデルのひとつである． Wolfram などによって研究されてきた従来のセルオートマトンは同期的であり，決定論的に動作した． RACA はそれとはちがって非同期的であり，非決定論的に，より正確にいえばランダムに動作する． RACA とCCM とは確率的な動作をするという点で似ている． この研究はもともと CCM の応用としてセル・オートマトンの計算をしたところからはじまった．

• RACA の PDF やポストスクリプトの論文をふくむページ
• Kanada's cellular automata home page.

ノート

この研究は私にとって，ほんの片手間のものであり，ALIFE IV に ポスターとして採択されただけでした． それにもかかわらず，ALIFE IV の論文集に載録されていないこの論文を 11 編の論文と Wikipedia の Asynchronous Cellular Automaton の項目 (その日本語版，2007 年 3 月現在) からも参照されているということは，私にはおどろくべきことだとおもわれます． そのうちのひとつは Citeseer でみつけました． でも，もし Google Scholar がなかったら，ほとんどはみつけられなかったでしょう．

関連ページ

• VLAB (www.complexity.org.au)

この研究の目的は Prolog のような論理型言語のプログラムやその他の記号処理をベクトル計算機によって実行する方法を確立することだった． おもな対象の計算機は Cray X-MP や Hitac S-820 などのベクトル型スーパーコンピュータである． しかし，この研究はあわせて CM-1 のような SIMD 型の並列コンピュータによる記号処理も視野においていた．

• PDF やポストスクリプトの論文

大学の卒業研究として MIMD 型のコンピュータのためのプログラミング言語 Dihybrid を開発したが，処理系は未完におわった． 就職後， SIMD型の スーパーコンピュータ S-810 などのための Fortran コンパイラにおける各種のコンパイル技法を数人のグループで開発した． おもな技法としては ベクトル化 の可能性などを判定するデータフロー解析法や，ベクトル・レジスタのわりあて法などがある．

• Dihybrid に関しては卒業論文だけがある．
• S-810 のためのコンパイラにおける技法は "Compiling Algorithms and Techniques for the S-810 Vector Processor" に概説されている． 情報処理学会全国大会においても発表しているが， もっと詳細な内容を論文化しておかなかったことをいまは後悔している．
• 他の論文もプログラミング言語とプログラミングの論文アーカイブにリストされている．

人間の言語をあつかう言語学の手法をプログラムにあてはめて分析することをこころみた研究である． 修士論文を書く比較的みじかい期間だけたずさわっていた． その後も研究を継続しようとはしたが，成果はえられていない．

関連ページ

• カナダからのブログ: プログラミング言語の言語学 ― 日本語の修論にいまフランスから照会が
• プログラミング言語学 「形態論」 のその後
• プログラミング言語学とオープンソースと Mining Software Repositories

文献

• プログラミング言語学をめざして, 東京大学大学院工学系研究科情報工学専門課程 修士論文, 1981. (右図参照)

大学 3 年のころから汎用コンピュータのためのコンパイラを開発してきた． 最初は雑誌の bit に連載された SIMPL という言語のコンパイラを (bit の連載とは独立に) 開発した． 大学院のときには東大の教育用計算機センタで使用するための Pascal コンパイラを開発した． 就職後しばらくは Fortran コンパイラの開発に従事してきたが，そのなかで ベクトル計算機に関する開発は別項にあげた． いわゆる IBM 事件後のコンパイラ再開発において配列のデータフロー解析法を開発した． ほかにもちいさな試作品はいろいろあるが，つかわなくなったパソコンのディスクのなかなどにうもれている． そのうち，それらもひろいだしたいとかんがえている．

• SIMPL コンパイラに関しては論文にするような内容はとくになかったので 文献は存在しない．
• Pascal コンパイラに関しては プログラミング・シンポジウムにおける報告がある．
• 大域配列データフロー解析法