科学技術と共に歩む

コンピュータサイエンス教科書シリーズ 18

数理論理学

• 古川 康一 慶大名誉教授 著
• 向井 国昭 慶大教授 著

本書は，特に，実世界の問題を論理によって表現し，問題解決を行う能力を身に付けることを目指している。そのためには，問題の抽象化，形式化が必要である。実際に問題の形式化の能力を養うため，多くの問題を用意した。

コンピュートロール 第31号

人工知能 - 新しいAIのトレンド -

• 溝口 文雄 東京理科大 責任編集
• 古川 康一 （財）ICOT 責任編集

社会システムとのかかわり合いの中で，「分散的知能処理」，「グループウェア（集団の知能）」，「意思決定支援」，「知識獲得」，「金融システム」および「ヒューマンインタフェース」を新しい課題として取り上げた。