独創人

有川 節夫
情報理学者
有川 節夫
ありかわ せつお

日本産学フォーラム委員
九州大学第22代総長

専門

情報学

略歴

昭和39年 3月 九州大学理学部卒業
昭和41年 3月 九州大学大学院理学研究科修士課程修了
昭和44年12月 理学博士(九州大学)
昭和60年 4月 九州大学教授
平成 6年 4月 九州大学大型計算機センター長
平成10年 4月 九州大学附属図書館長
平成14年 4月 九州大学副学長
平成16年 4月 国立大学法人九州大学 理事
平成17年11月 九州大学附属図書館長
平成20年10月 国立大学法人九州大学 総長

委員活動等

平成18年 3月 日本学術会議連携会員
平成19年 9月 国立国会図書館科学技術関係資料整備審議会委員長
平成21年 2月 文部科学省科学技術・学術審議会委員
平成21年 2月 〃 研究計画・評価分科会情報科学技術委員会主査
平成21年 2月 〃 学術分科会研究環境基盤部会学術情報基盤作業部会主査
平成21年 2月 〃 学術分科会研究費部会部会長
平成21年 2月 〃 基本計画特別委員会(第4期科学技術基本計画)委員

主要著書

・Progress in Discovery Science
Lecture Notes in Artificial Intelligence, LNAI 2281, Springer-Verlag, 2002, 3
S. Arikawa, A. Shinohara (Eds.)

・ 述語論理と論治プログラミング 有川節夫, 原口誠
 オーム社, 昭和63年5月(1988, 5)

・ オートマトンと計算可能性  有川節夫, 宮野悟  
 培風館, 昭和61年9月(1986, 9)

TOP