第34回 情報科学若手の会報告

はじめに

去る2001年 9月13日から15日にかけて, 熱海にある旅館 芳泉閣で, 第34回情報科学若手の会を開催致しました. 熱海駅のひとつ先の来宮駅から徒歩で少々かかる場所で, また 平日に行なうこととなってしまいましたが, 社会人 4名, 学生13名が御参加下さいました. また, オブザーバとして 東京大学の萩谷先生をお招きして, 議論に御参加頂きました.

これまでは, 幹事でトピックを定めディスカッションを 行なう形式でしたが, 今年は御参加の皆様に議論を行ないたい トピックを持ちよってもらい, 発表の後にディスカッションを 行なう形式としました.

オブザーバとして御参加下りまた個人としてご援助下さいました 東京大学 萩谷先生, 多額のご援助を頂きました慶應工学会様, 個人として ご援助下さいました千歳科学技術大学 高岡様および早稲田大学 小西様, この若手の会の開催に当たり色々と御面倒を見て下さいました 明治大学の石畑先生, 津田塾大学の小川先生, 情報処理学会の鮎川様 およびプログラミングシンポジウム幹事の皆様に, この場をお借りして御礼申し上げます.

以下に,タイムテーブルと議論の内容についてまとめます.

9/13(第1日目)

15:40〜  
 オープニング、諸注意など
16:00〜16:35
大日向 大地 分散型並列処理システムについて
16:40〜17:15
蟻川 浩 遊休計算機を利用するための枠組みについて
17:20〜17:55
三井 健太郎 ソフトウエアの産学共同開発について

9/14(第2日目)

9:20 〜 9:55  
筧 一彦 簡易なプログラミング言語について
10:00 〜 10:35
鈴木 秀直 プログラミングの訓練
10:40〜11:15   
鬼柳 裕暢(他) UNIX基本コマンド教育システムについて
11:20〜11:55
越智 洋司 教育・学習支援システムにおけるリソース共有と著作権問題
13:20〜14:20
萩谷 昌巳先生 分子コンピューティング ナノテクノロジー / アモルファス・コンピューティング の 怪しい人々 / 特に、計算機屋くずれたち
14:30〜15:05
渡部 岳郎 無線通信の未来と現実
15:10〜15:45
渡辺 俊雄 <インターネットに関する話題>
16:00〜16:35
橋本 拓也 逆計算と定理証明器
16:40〜17:15
市川 祐輔 一般部分計算(GPC)によるプログラム超高速化の例
17:20〜17:55
伊藤 一成 ニューロコンピューティングの今後

9/15(第3日目)

9:30〜10:05
山口 文彦 ロンゴロンゴにおける統計情報の収集に向けて
10:10〜10:45
長 慎也 ユーザの行動を利用した文書検索システム
10:50
 Closing まとめなど

発表および議論の内容

13日 午後

分散型並列処理システムについて

大日向 大地さん (長野工業高等専門学校)

SETI@homeなど, 地球外生命探査や新薬開発などの場面で, インター ネットにつながれたコンピュータのアイドル時間を使って並列処理を 行うプロジェクトが相次いで始まっています. 研究室内のネットワークを 用いて分散型並列処理システムを開発, 運用している経験から, このスタイルのコンピューティングの課題や, 今後の展望について 議論を行ないました. SETI以外の分野での話や, 「アルゴリズムの 研究をしなくなる危険性があるのではないか」などの話が出てきました.

遊休計算機を利用するための枠組みについて

蟻川 浩さん (奈良先端科学技術大学院大学)

インターネットに接続されているコンピュータを用いて大規模数値解析 を行う「グローバルコンピューティング」が注目されていることから, この環境を実現するためには、遊休計算機を利用する枠組みが必要になって います. この発表では, 遊休計算機を利用するための現状と問題点について 発表してもらい, 新たな枠組について提案, 議論を行ないました. 遊休 計算機を利用する上で, リソース盗用やセキュリティの問題, またDoSに 利用されてしまう危険性や, 今後はOSに組み込まれるようになるのでは ないか, などの話を行ないました.

ソフトウエアの産学共同開発について

三井 健太郎さん (新光電気工業株式会社)

ソフトウエア開発(主にWebアプリケーション)における教育機関と企業との 協力関係はどうあるべきかについて, 現在抱えている仕事の紹介を交えて 発表および議論を行ないました. プログラマの養成が難しい中, ある 教育機関を選択してコラボレーションを行なった際の状況について御報告 下さいました. その際, 金銭の問題, 責任者の問題, 定期試験のための 中断, 誰がどれだけやったかという評価の問題があることが指摘されました. こうした問題に対し, 普通にいわれる産学共同は教育機関側がアイディアを 提供する形のものが多く, 今回の話題はインターンに近いのではないか, その場合報酬はお金ではない方がいいのではないか, などの意見が出され ました.

14日 午前

簡易なプログラミング言語について

筧 一彦さん (早稲田大学)

さまざまな人がプログラミングに関わる可能性が出てくる時代となる中で, 初心者へのプログラミングおよびアルゴリズムの教育, 解析および 変換のしやすさ, その上での実用への導入しやすさを兼ね持つ言語があると よいのではないか, という視点で発表および議論を行ないました. その際, Javaなどではポインタの概念が曖昧になりがちであること, 関数型の場合自然に再帰的であればいいけれど, 手続きを繰り返す ような問題も多くあること, 関数型言語はプログラミングの中で暗黙の うちに存在する, 意識しないものを明示的に書かされることになり, その暗黙のうちに存在するものをどう教育するのが良いのか, などの 議論が行なわれました.

プログラミングの訓練

鈴木 秀直さん (早稲田大学)

学生の中には, 課題や卒業研究としてプログラミングを行なうだけで, それ以外に自分でプログラムを書こうとする人は多くなく, そういう 人の多くが綺麗なプログラムを書くことができないようです. では, もっとプログラムを書くことに興味を持たせるにはどうすればいいのか, 発表および議論を行ないました. そのなかで, プログラミングの コンテストや, チームになってプログラムを開発するようにしては どうか, という提案がありました.

UNIX基本コマンド教育システムについて

鬼柳 裕暢さん, 小野 優介さん, 田中 俊光さん, 秋田 憲洋さん (千歳科学技術大学)

これから初めてUNIXを使う方を対象とした, UNIXを使用するにあたり, 知っておく必要のある基本的なコマンドを覚えるための補助となる システムについて, 発表および議論を行ないました. どのようなかたちで システムが提供されると良いのか, またどのような表示が必要か 議論を行ないました.

教育・学習支援システムにおけるリソース共有と著作権問題

越智 洋司さん (徳島大学)

近年, 教育・学習支援システムの研究領域においては, ネットワーク環境を 利用した協調学習支援が注目を浴びており, このような環境下では, 学習の リソースとなる情報やコンテンツを共有することで協調学習的効果を得る ことができるようになっています. 特に, インターネット上の一般のWWW コンテンツを対象にすることで, 膨大な学習リソースを支援の範疇にいれる ことが可能となります. しかし, この場合には著作権の問題を考慮しなければ ならないことが多くあります. こうした著作権問題をうまく解決できる方法が あるか, 発表および議論を行ないました. この中で, インターネットは ひとつだけである必要があるか, 教育目的用の専用回線が存在しても 良いのではないか, という意見が出されました.

14日午後(1)

分子コンピューティング ナノテクノロジー / アモルファス・コンピューティング の 怪しい人々 / 特に、計算機屋くずれたち

萩谷 昌巳先生 (東京大学)

オブザーバーとして御参加下さいました萩谷先生が, これまでの 計算機科学の範疇を超えた, 分子コンピューティング, 量子計算, ナノテクノロジー, アモルファスコンピューティング, Smart Dust, Programmable Matterなどの新しい研究について, どのような計算問題が 対象とされているか, どのように実現されているか, またどのような 現象および問題が存在するかをお話し下さいました. そのなかで, これまで計算機科学に関わってきた研究者の方々が, これらの分野で どのようなことを行なっているのか, お話し下さいました.

14日午後(2)

無線通信の未来と現実

渡部 岳郎さん (新潟大学)

携帯電話や無線LANなどの無線通信が活発に利用されるようになりましたが, 実はさまざまな問題を抱えています. 現在どのような技術が使われている のか, その解説を通して, 将来の無線通信のあり方について発表および 議論が行なわれました. 有線でできることは無線でやる必要がないと すると, 無線でしかできないことは何か, そもそもインターネットも 無線が始まりで, 1対多という形をとっているのではないか, テンポラリ ネットワークが良いかどうかは場所によりけりではないか, などが 話されました.

Alternate Roots---Alternate Rootsが引き起こすであろう問題と, その対応について

渡辺 俊雄さん (株式会社日本レジストリサービス)

現在DNSにはルートがひとつしかないという前提で仕組みが提供されて いますが, ICANNをはじめとする管理体制に対して反発する形で別のルートを 提供しようとする団体が出現してきています. 一般のユーザはどちらを ルートとして使用しているのか意識しないことになるため, 同じドメイン名を 入力しても異なるサイトに接続する, という事態が発生し得ます. こうした 団体が出現することで発生し得る問題点について, 発表および議論を行ない ました.

14日午後(3)

逆計算と定理証明器

橋本 拓哉さん (早稲田大学)

ある問題を解決するプログラムを書く際に, ある一方向については 記述しやすくても(暗号化など), 逆方向については記述が難しい 場合があります(復号化など). そういった問題について, その片方の 記述から逆方向の処理を実現する仕組みを, 関数型言語の枠組の中で 行なう方法について発表および議論を行ないました. ここでは, 論理型言語を使ってしまうのがやはり楽ではないか, などの議論が 行なわれました.

一般部分計算(GPC)によるプログラム超高速化の例: ペアノ曲線のm番目のパターン

市川 祐輔さん (早稲田大学)

プログラムに与えられた部分的な情報を利用して, 予め計算を行なうことを 部分計算と呼び, 一般部分計算(GPC)は部分計算のアルゴリズムのひとつです. このアルゴリズムをペアノ曲線に応用した例について, 発表および議論を 行ないました. 部分計算についての説明や, どのように実現したのかが 話されました.

ニューロコンピューティングの今後

伊藤 一成さん (慶應義塾大学)

人間の脳に類似した並列情報処理機構に基づいた情報処理を工学的に実現する ニューロコンピューティングが盛んに研究されています. この分野に関して, 研究の現状と今後の課題について発表および議論を行ないました. どういった 分野や問題に適用できそうか, などの質問が出されました.

15日午前

ロンゴロンゴにおける統計情報の収集に向けて

山口 文彦さん (東京理科大学)

統計情報を用いた自然言語処理において, 複数の記号が同じ文中に登場する 確率などから, それらの記号の繋がり具合を調べ, 意味のある記号列を抽出 する研究が行われています. こうした手法は言語に依存する部分が少ない という特徴を持ち, 未知言語にも適用できるものと考えられます. イースター島には木の板などに彫り込まれた, ロンゴロンゴと呼ばれる文字が 存在しますが, 対訳コーパスが存在しないなどの理由で未解読となっています. 統計情報を用いた自然言語処理の手法をロンゴロンゴに適用する試みについて 発表および議論を行ないました. 未知言語では, 既知言語に適用した場合と 異なり, 正解を設定することができない, では近隣の現存する種族からの 知識を利用することができないか, そのなかで手法の評価方法をどのように 設定するのが良いか, などが話されました.

文書の自動分類を行なう検索システム

長 慎也さん (早稲田大学)

インターネット上での文書検索システムでは, ユーザの履歴を使うことで, ユーザの入力した検索語から重要な語句(および語句の組み合わせ)を抽出したり, ユーザの選んだ文書からユーザの入れた語句に強く関連する文書や語句を抽出 することが可能です. こうした不特定多数のユーザによる検索要求の履歴を 解析することで, 文書のカテゴリ分けを自動的に行う方法について発表および 議論を行ないました. 現在, これらの情報を集めて文書のカテゴリ分けの 実験を行うメーリングリスト検索システムを開発中とのことです. カテゴリにはそれを代表する名前をつけていますが, そのカテゴリをどう 整理統合するか, カテゴリは逆に遠回りになってしまわないか, またユーザに よる明示的な入力をどのように扱うか, 日記のような文章をどうするか, FAQの自動生成器のようなものがあると便利だ, などの話が出てきました.

開催形式について

参加者皆様に発表してもらう形式としました. このため, 分散処理から 産学共同, 教育, 分子計算, 通信, 理論, 言語処理, 検索など, さまざまな内容の 発表を聞くことができました. その一方で, ひとつの発表あたりに割り振られる 時間が短くなってしまったため, なかなか議論に時間が割けない, という 状況が発生してしまいました.

これについては, 参加者にはひとまず自分が発表するとしたら何を話すかを まず聞き, その後でその発表内容から聞いてみたいもの, 議論してみたいものを 参加者に投票で決めてもらうのはどうか, という意見を頂きました. また, 議論重視のセッションと発表重視のセッションとを分けて準備しても良い, ただ発表の分野について範囲を区切ってしまうのはデメリットが大きそうだ, という意見もありました.

おわりに

遠方から参加なさる方々にとって必ずしも便利とはいえない場所での 開催でしたが, 様々な方々の御支援, 御協力を頂けたこともあり, 昨年よりも多くの方々が御参加下さいました. そのお蔭で, 多様な発表内容 および様々な議論が行なわれ, 有意義な会合にすることができました. また、皆様のご援助のお蔭で, 遠方から御参加の方々に交通費支援を行ないながらも, 繰越金を大幅に削ることなく無事に終えることができました. これまでとは異なる形式を採用したため, 思ったようにできなかったことも 多々ありますが, 頂いた意見を反映してより良い会合になるよう努めたいと 思います.

最後に, 今年度若手の会に参加して下さった方々の名簿を添付致します (敬称略).

氏名 所属 備考
萩谷 昌己 東京大学 オブザーバ
秋田 憲洋 千葉科学技術大学
蟻川 浩 奈良先端科学技術大学院大学 幹事
市川 祐輔 早稲田大学
伊藤 一成 慶應義塾大学 幹事
小野 優介 千歳科学技術大学
越智 洋司 徳島大学
大日向 大地 長野工業高等専門学校
筧 一彦 早稲田大学 幹事
鬼柳 裕暢 千歳科学技術大学
鈴木 秀直 早稲田大学
田中 俊光 千歳科学技術大学
長 慎也 早稲田大学
橋本 拓哉 早稲田大学
三井 健太郎 新光電気工業株式会社
山口 文彦 東京理科大学 幹事
渡部 岳郎 新潟大学
渡辺 俊雄 株式会社日本レジストリサービス