|
鈴木 志元
職名： 准教授
専門分野： 図書館情報学、計算基礎論
研究内容紹介：
図書館情報学の分野では情報検索やディジタル・ライブラリに関心をもっている。図書館情報学の問題は、煎じ詰めれば情報とその意味の問題に帰着すると考えているので、情報検索にしても意味という側面からアプローチを続けている。ディジタル・ライブラリはまだ実現されていない。実現されていない分だけ自由に考える余地があり、図書館というものを見直すいい材料（機会）なのだと思っている。
計算基礎論の分野ではプログラム意味論や並列計算に関心を持っている。先にも述べたように、基本的には情報とその意味に関心があるのだが、プログラム意味論は定式化が比較的うまくいった例であって、他の意味論を考えるうえでも非常に参考になるものである。また、sequentialな計算論そのものはコンピュータが生まれる以前（1930年代）からあり、プログラム意味論のある程度の成功で一段落した観があるけれど、並列的な計算の理論は遅々として進んでいなかった。今、並列性の理論が新しい段階に入りつつあるのではないか、と思われるフシがあり、ワクワクしながら追いかけている。ちなみに、並列計算はディジタル・ライブラリ実現のための鍵となる技術の１つである。自己紹介：
自己紹介（自分のことを話すの）が苦手、というのも一つの自己紹介であるのかもしれない。写真は撮るのも撮られるのも苦手なので、顔写真は勘弁していただいた。無芸無趣味といえば言い過ぎだが、まあ、当たらずといえども遠からず、といったところか。
email: yukimoto@nanzan-u.ac.jp