基本情報

写真b

高橋 和子

TAKAHASHI Kazuko

職名
教授
研究分野・キーワード
知識表現, 推論, 様相論理, 計算機科学
研究概要
数理論理学をベースとして問題を形式化し、計算機にそれを効率よく解かせる手法の研究を行なっている。具体的には、時空間データをシンボリックに扱う定性空間推論の研究、ディベートや説得などの議論の論理構造を明確化したモデルの生成およびその応用、システムの動作記述や計算機上のツールを使った仕様の検証など。
SDGs 関連ゴール

出身大学 【 表示 / 非表示

  • 学校名:京都大学
    学部(学系)名:理学部

    学校の種類:大学
    卒業年月:1982年03月
    卒業区分:卒業
    所在国:日本国

留学歴 【 表示 / 非表示

  • 留学先:ブレーメン大学(Universitaat Bremen)
    経歴名:客員研究員
    留学期間:2016年04月 ~ 2017年03月

取得学位 【 表示 / 非表示

  • 学位名:理学学士
    学位の分野名:ソフトウェア
    学位授与機関名:京都大学
    取得方法:課程
    取得年月:1982年03月

  • 学位名:博士(工学)
    学位の分野名:知能情報学
    学位授与機関名:京都大学
    取得方法:論文
    取得年月:1994年03月

学内職務経歴 【 表示 / 非表示

  • 職務遂行組織:関西学院大学 理工学部 情報科学科
    経歴名:教授
    職務期間:2000年04月 ~ 継続中

所属学会・委員会 【 表示 / 非表示

  • 所属学会:日本ソフトウェア科学会

    学会所在国:日本国

  • 所属学会:電子情報通信学会

    学会所在国:日本国

  • 所属学会:情報処理学会

    学会所在国:日本国

  • 所属学会:人工知能学会

    学会所在国:日本国

専門分野(科研費分類) 【 表示 / 非表示

  • 専門分野(科研費分類):知能情報学

 

学位論文 【 表示 / 非表示

  • 記述言語:英語
    論文題目名:Parallel Problem Solving with Logic Programming
    学位授与年月:1994年03月
    著者氏名(共著者含):Kazuko Takahashi

    共著区分:単著

論文 【 表示 / 非表示

  • 記述言語:英語
    論文題目名: On a Formal Treatment of Deception in Argumentative Dialogues
    掲載誌名:Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016
    掲載誌 発行年月:2017年03月
    著者氏名(共著者含):Kazuko Takahashi, Shizuka Yokohama

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:Verification of Content-Centric Networking using Proof Assistant
    掲載誌名:IEICE Transactions on Information and Systems
    掲載誌 発行年月:2016年11月
    著者氏名(共著者含):Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

    掲載種別:研究論文(学術雑誌)
    共著区分:共著

  • 記述言語:英語
    論文題目名:What Should an Agent Know Not to Fail in Persuasion?
    掲載誌名:Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015
    掲載誌 発行年月:2016年04月
    著者氏名(共著者含):Shizuka Yokohama, Kazuko Takahashi

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data
    掲載誌名:Agents and Artificial Intelligence, 7th International Conference, ICAART 2015
    掲載誌 発行年月:2015年01月
    著者氏名(共著者含):Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:Formalizing Polygonal Knot Origami
    掲載誌名:Journal of Symbolic Computation
    掲載誌 発行年月:2014年09月
    著者氏名(共著者含):Tesuo Ida, Fadoua Ghourabi, Kazuko Takahashi

    掲載種別:研究論文(学術雑誌)
    共著区分:共著

全件表示 >>

著書 【 表示 / 非表示

  • 記述言語:英語
    著書名:``PLCA: A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions,'' Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, S.Hazarika(ed.), Chapt 2, pp.63-96
    出版機関名:IGI Publishers
    発行年月:2012年05月
    著者氏名(共著者含):Takahashi,K

    著書種別:単行本(学術書)
    著書形態:単著

科研費(文科省・学振)獲得実績 【 表示 / 非表示

  • 研究種目:基盤研究(C)
    研究期間:2018年04月 ~ 2021年03月
    研究題目:形状の変化を対象とする定性空間表現および推論システムの研究

  • 研究種目:基盤研究(C)
    研究期間:2013年04月 ~ 2016年03月
    研究題目:空間データの記号表現に関する研究

  • 研究種目:基盤研究(C)
    研究期間:2010年10月 ~ 2013年03月
    研究題目:定性時空間推論の体系の構築とその応用に関する研究

研究発表 【 表示 / 非表示

  • 発表(記述)言語:日本語
    会議名称:日本ソフトウェア科学会第30回大会
    会議区分:国内会議
    開催期間:2013年09月
    開催場所:東京大学本郷キャンパス
    題目又はセッション名:定性空間表現PLCAのモデル化と妥当性の証明について
    発表形態:口頭(一般)

  • 発表(記述)言語:英語
    会議名称:日本ソフトウェア科学会第30回大会
    会議区分:国内会議
    開催期間:2013年09月
    開催場所:東京大学本郷キャンパス
    題目又はセッション名:Formalization of the Qualitative Spatial Reasoning of Superposition of Rectangles in Proof Assistant
    発表形態:口頭(一般)

  • 発表(記述)言語:日本語
    会議名称:人工知能学会第28回全国大会
    会議区分:国内会議
    開催期間:2013年06月
    開催場所:富山国際会議場
    題目又はセッション名:定性空間表現上での位置の高低を考慮した経路探索システム
    発表形態:口頭(一般)

  • 発表(記述)言語:日本語
    会議名称:人工知能学会第28回全国大会
    会議区分:国内会議
    開催期間:2013年06月
    開催場所:富山国際会議場
    題目又はセッション名:定性時空間推論の枠組みを用いた動画からのイベント推論について
    発表形態:口頭(一般)

  • 発表(記述)言語:日本語
    会議名称:人工知能学会研究会資料, SIG-FPAI-B203, pp.1-7
    会議区分:国内会議
    開催期間:2013年01月
    開催場所: 
    題目又はセッション名:間接的攻撃をもつ議論システム
    発表形態:口頭(一般)

全件表示 >>

 

担当授業科目 【 表示 / 非表示

  • 履修年度:2021年度(西暦)

    提供部署名:理工学部

    授業科目名:卒業実験及び演習(情報システムコース)

    授業形式:代表者

  • 履修年度:2021年度(西暦)

    提供部署名:理工学部

    授業科目名:外国書講読

    授業形式:代表者

  • 履修年度:2021年度(西暦)

    提供部署名:理工学部

    授業科目名:情報システム領域実習A

    授業形式:代表者

  • 履修年度:2021年度(西暦)

    提供部署名:理工学部

    授業科目名:情報システム領域実習B

    授業形式:代表者

  • 履修年度:2021年度(西暦)

    提供部署名:理工学部

    授業科目名:数理論理学

    授業形式:代表者

全件表示 >>

 

学内委員会等 【 表示 / 非表示

  • 活動名称:副学部長
    活動期間:2021年04月 ~ 2022年03月

  • 活動名称:学部長補佐
    活動期間:2019年04月 ~ 2021年03月

  • 活動名称:研究科副委員長
    活動期間:2014年04月 ~ 2016年03月

 

学会・委員会等活動 【 表示 / 非表示

  • 学会・委員会:情報処理学会
    役職・役割名:プログラミング研究会 運営委員
    活動期間:2008年04月

  • 学会・委員会:日本ソフトウェア科学会
    役職・役割名:理事
    活動期間:2008年04月

学外の社会活動(高大・地域連携等) 【 表示 / 非表示

  • 活動名称:Program committee of the 9th IEEE/ACIS International Conference on Computer and Information Science
    活動期間:2009年11月