有川 節夫

専門

情報学

略歴

• 昭和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月

  〃　基本計画特別委員会(第４期科学技術基本計画)委員

主要著書

・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)