SEARCH

検索詳細

佐野　勝彦 (サノ　カツヒコ)

文学研究院　人文学部門　哲学宗教学分野教授
人間知・脳・ＡＩ研究教育センター教授

研究者基本情報

■ 学位
  • 修士（文学）, 京都大学, 2003年03月
  • 博士（文学）, 京都大学, 2010年01月
■ URL
researchmap URLホームページURL■ 研究キーワード・分野
研究キーワード
  • ハイブリッド論理
  • 動的認識論理
  • アラン・チューリング
  • 非古典論理
  • 様相論理
研究分野
  • 情報通信, 知能情報学
  • 情報通信, 情報学基礎論
  • 人文・社会, 哲学、倫理学
■ 担当教育組織

経歴

■ 経歴
経歴
  • 2024年04月 - 現在
    北海道大学, 大学院文学研究院, 教授, 日本国
  • 2019年04月 - 2024年03月
    北海道大学, 大学院文学研究院, 准教授
  • 2016年09月 - 2019年03月
    北海道大学, 大学院文学研究科, 准教授
  • 2011年07月 - 2016年09月
    北陸先端科学技術大学院大学, 情報科学研究科, 助教
  • 2011年04月 - 2011年07月
    京都大学大学院, 文学研究科, 研究員（最先端戦略強化）
  • 2008年04月 - 2011年03月
    日本学術振興会, 特別研究員（PD、京都大学、受入研究者：林晋教授）
  • 2007年07月 - 2008年03月
    京都大学大学院, 文学研究科, 研究員（産官学連携研究員）
  • 2007年04月 - 2007年06月
    京都大学大学院, 文学研究科, 研究員（学術支援）
  • 2006年04月 - 2007年03月
    京都大学大学院, 文学研究科, 研究員（COE）
学歴
  • 2003年04月 - 2006年03月, 京都大学大学院, 文学研究科 現代文化学専攻科学哲学科学史専修, 博士後期課程
  • 2000年04月 - 2003年03月, 京都大学大学院, 文学研究科 現代文化学専攻科学哲学科学史専修, 博士前期課程, 日本国
  • 1996年04月 - 2000年03月, 京都大学, 文学部, 人文学科基礎現代文化学系 科学哲学科学史専修, 日本国

研究活動情報

■ 受賞
  • 2025年09月, 国立大学法人北海道大学, 令和6年度 北海道大学エクセレントティーチャーズ（ベスト・エクセレントティーチャー）
    英語演習「中級：英語で学ぶ論理学とその歴史」
    佐野勝彦
  • 2020年10月, 5th Asian Workshop on Philosophical Logic, Best Paper Award
    Takeuti I. and Sano K. (2020) Modal Logic and Planarity of Graphs. In: Liao B., Wáng Y. (eds) Context, Conflict and Reasoning. Logic in Asia: Studia Logica Library. Springer, Singapore.
    Katsuhiko Sano;Izumi Takeuti, 24523110;24523112
■ 論文
■ 書籍等出版物
■ 主な担当授業
  • 修士論文・特定課題指導特殊演習, 2024年, 修士課程, 文学院
  • 哲学特殊講義, 2024年, 修士課程, 文学院
  • 博士論文指導特殊演習, 2024年, 博士後期課程, 文学研究科
  • 哲学特殊講義, 2024年, 修士課程, 文学院
  • 博士論文指導特殊演習Ⅰ, 2024年, 博士後期課程, 文学院
  • 大学院共通授業科目（一般科目）：人文社会科学, 2024年, 修士課程, 大学院共通科目
  • 博士論文指導特殊演習Ⅱ, 2024年, 博士後期課程, 文学院
  • 論理学特別演習, 2024年, 修士課程, 文学院
  • 哲学演習, 2024年, 学士課程, 文学部
  • 哲学演習, 2024年, 学士課程, 文学部
  • 国際交流Ⅱ, 2024年, 学士課程, 国際本部
  • 歴史・文化モジュール特殊科目B, 2024年, 学士課程, 現代日本学プログラム課程
  • 歴史・文化モジュール特殊科目B, 2024年, 学士課程, 現代日本学プログラム課程
  • 歴史・文化モジュール特殊科目B, 2024年, 学士課程, 現代日本学プログラム課程
  • 英語演習, 2024年, 学士課程, 全学教育
  • 論理学, 2024年, 学士課程, 文学部
■ 所属学協会
  • 応用哲学会
  • 日本数学会
  • 科学基礎論学会
  • 日本科学哲学会
■ 共同研究・競争的資金等の研究課題
  • 直観主義様相論理に対する補間定理の意味論的研究
    科学研究費助成事業
    2025年04月01日 - 2028年03月31日
    佐野 勝彦
    日本学術振興会, 基盤研究(C), 北海道大学, 25K03537
  • 社会的コミュニケーションにおける発話のダイナミクスの動的様相論理による学際的研究
    科学研究費助成事業 基盤研究(B)
    2022年04月01日 - 2027年03月31日
    山田 友幸; 佐野 勝彦; 金子 守; 東条 敏
    日本学術振興会, 基盤研究(B), 北海道大学, 22H00597
  • 不完全情報下での質疑によるエージェントの知識・信念更新：証明論的研究
    科学研究費助成事業 基盤研究(C)
    2019年04月 - 2024年03月
    佐野 勝彦
    本年度は、inquisitive logic への集団知識概念を加えるために直観主義論理上の認識論理について集中的に研究を行った。主な研究成果は以下の三つである。
    (1) van BenthemとLiu による Dynamic Logic of Relation Changers (DLRC)の直観主義論理への一般化: DLRC は行為者（エージェント）の信念・知識・選好の変化を扱う一般的枠組みであるが古典論理（真・偽に基づく論理）上で定式化されている。東京理科大学の秦野亮助教との共同研究として、DLRCを真とも偽ともいえない命題を許す直観主義論理上へ一般化できることを明らかにし、国際会議 3rd DaLi とそのプロシーディングにおいてその成果を発表した。
    (2) 分散知識概念をもつ直観主義認識論理研究: 集団Gの分散的知識（distributed knowledge）とはG中の各エージェントの知識を第三者視点で組み合わせることで得られる知識のことである。前年度には古典論理上での分散知識論理の証明論について整備を行ったが、本年度にはこれを直観主義論理上の分散知識概念の分析へと一般化した。この成果を、北海道大学文学院の大学院生、村井涼との共同研究として国際会議 13th LANMR で発表した。
    (3) Artemov らによる直観主義認識論理の述語論理への拡張: Artemovらは、知識演算子KAの証明とは、Aの証明の存在の決定的検証である、という証明による解釈を提案し、直観主義命題論理について研究を行ったが、等号付き一階述語論理への拡張は研究されていなかった。北海道大学文学研究科の大学院生、蘇有安との共同研究として、等号付き一階述語論理への拡張が可能であること明らかにした。この成果については、国際学会MLA2021において研究発表を行った。
    日本学術振興会, 基盤研究(C), 北海道大学, 19K12113
  • 命題・様相チーム意味論による確率論理のモデル論・証明論研究
    科学研究費助成事業 特別研究員奨励費
    2019年11月08日 - 2022年03月31日
    佐野 勝彦; VIRTEMA JONNI
    研究分担者の、本年度の主要な研究成果は計算機科学のトップ国際会議である Logic in Computer Science に論文がアクセプトされたことである。この研究は有限モデル理論と記述計算量という計算量理論の両方に関するもので、Separate Branching Blum-Shub-Smale 機械 (S-BSS 機械と略記)という Blum-Shub-Smale 機械の代替を定義し、このS-BSS機械を使って非決定的かつ多項式時間で決定できる言語のFaginに由来する論理的な特徴付け（確率独立（一階述語）論理による）を与えた。ここでBSS機械は実数を入力としてとり、１ステップで実数上の算術的演算を行うことができるチューリング機械とみなせる。S-BSS機械はBSS機械よりも実数を計算する仕方がより制限されている。分担者が国際会議CSL (Computer Science Logic)で発表した論文は、LICS論文での結果を、計算量クラスPTIMEに関する結果へと拡張した。さらにこういった結果を命題論理の設定で考察する準備的研究を受入研究者と行った。さらに、昨年度に着手した、実行トレースについてのhyperpropertyをモデルするのに役立つ、チーム意味論をもつ様相論理の研究については論文執筆を行った。分担者の論文 ``On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic''では、二階QBFがホーン節やそれに関連する断片に制限された場合の計算量の特徴付けの結果を得た。受入研究者と分担者は受入研究者の直観主義 inquisitive logic についての結果で残された表現力の分離と標準形に関する二つの未解決問題を肯定的に解決した。
    日本学術振興会, 特別研究員奨励費, 北海道大学, 19F19797
  • 発話と社会的文脈の相互作用に関する動的様相論理による学際的研究
    科学研究費助成事業 基盤研究(B)
    2017年04月01日 - 2022年03月31日
    山田 友幸; 佐野 勝彦; 金子 守; 東条 敏
    山田は、Austin の論じた発語内行為の慣習的効果(conventional effect)を、Searle の地位機能(status function)として捉えなおすことにより、Searle の社会制度理論のうちに Austin の洞察を位置づけることが可能になることを示すとともに、文脈 C において X が Y として通用する(count-as)という構成的規則の階層的体系が Barwaise と Seligman のチャンネル理論のもとで適切に定式化できることを示した。
    佐野は、条件法論理にアップデート演算を入れた Normal Update Logic の証明論の構築と、離散空間上での連結関係について語るための双直観主義様相論理の拡張の証明論の特定を行うとともに、動的認識論理の一種である Relation Changer 付き動的論理に、モデルを書き換えない意味論を与えて、その意味論に基づくラベル付き計算体系を構築した。
    また山田と佐野は研究協力者澤崎（大学院博士課程学生）と共同で、昨年度開始した Seligman の常識的様相述語算の研究を進め、義務様相を導入する拡張を行ったほか、ターム様相論理の手法を取り入れる研究を開始し、タームの列を扱うための拡張を行った。
    金子は、限定合理性の立場から、認識論理体系と期待効用理論を再構成することを重点的に研究し、これらの理論を大きく発展させることに成功した。
    東条は Awareness Logic を法律の予見可能性に応用し，旧来の DEMO というシステムに awareness を加えた実装を行った。また、様相論理においてアクセス関係を増やし疑わしい知識を含む論理を構築した。さらに，エージェントコミュニケーションにおいて情報の中身の真偽のほかに情報が読み出せるかどうかを考慮した四値論理を提案した。
    日本学術振興会, 基盤研究(B), 北海道大学, 17H02258
  • 多次元・多ソート化によるエージェント相互作用の証明論的研究
    科学研究費助成事業 若手研究(B)
    2015年04月01日 - 2019年03月31日
    佐野 勝彦
    本研究では、人間やエージェントが環境と相互作用しながらどのように知識・信念を形成するのかを、どのような情報が伝わったのか、どのように情報が伝わったのか、の二つの観点から探求した。第一に、エージェント間構造とエージェントの選好が相互作用しながらどう変化するのかを分析する論理的枠組みを提案した。第二に、情報告知の際に誤った信念を抱くことを許す推論システムを提案し、不確実性下での推論を扱うための意味論的枠組みの理論的基盤を整備した。第三に、公開告知行為による信念・知識の変化を扱う論理の既存研究の不備を正した推論システムを提案し、その発想をさらに他の情報告知行為をもつ論理へも応用した。
    日本学術振興会, 若手研究(B), 15K21025
  • 多次元ハイブリッド論理に基づくエージェント相互作用の動的研究
    科学研究費助成事業 若手研究(B)
    2012年04月01日 - 2015年03月31日
    佐野 勝彦
    本研究ではエージェントの相互作用を捉えるために，マルチエージェントシステムと動的認識論理の両方に対して多次元的視点から論理的基盤を研究した．本研究の成果は次の三つである．第一に，命令・許可概念を含むエージェントの信念のための論理を提案した．第二に，エージェント間のチャネル概念とチャネルを通じたエージェント通信の概念を多次元ハイブリッド論理の設定で形式化した．第三に，多次元設定での論理的推論を捉えるため，好ましい形式的性質(カット除去定理)をもつラベル付き式計算体系を構築した．
    日本学術振興会, 若手研究(B), 北陸先端科学技術大学院大学, 24700146
  • 拡張様相概念を基盤とした空間的論理の研究
    科学研究費助成事業 特別研究員奨励費
    2008年 - 2010年
    佐野 勝彦
    本年度は、一昨年度に洞察を得て昨年度に論文を仕上げた、世界や時間や個体といった複数次元を一挙同時に扱うことが可能な多次元版ハイブリッド論理の研究をさらに進め、複数の学会で研究発表を行い、論文執筆を行った。昨年度に得た位相空間に対する多次元ハイブリッド論理の完全性定理と、この結果の近傍フレームへの一般化、に関して論文を執筆し、国際会議Hylo 2010で発表を行い、Post-proceedings of Hylo 2010に論文が採択された。さらに、レスター大学滞在時に、多次元版ハイブリッド論理を余代数的意味論(余代数とはクリプキ構造・位相空間等を一般化した数学的構造)へと一般化できることを明らかにし、レスター大学で研究発表を行ったうえで、論文執筆を行い、余代数・代数研究における国際会議であるInternational Conference on Algebra and Coalgebra in Computer Scienceに投稿した。こういった成果からわかるのは、ハイブリッド論理の多次元化というアイデアのもつ数学的一般性である。一昨年に成果を上げた反事実条件法のハイブリッド論理に関しては、アムステルダム大学滞在時に、Dynamic Epistemic Logicとの興味深い関連を見出し、それに関して研究発表および論文執筆を行った。位相空間上の導集合演算や閉包演算と似た振る舞いを示すグレード付き様相論理(Graded modal logic)に関しては、昨年度にMinghui Ma (Tsinghua University)を共同で論文を仕上げたが、投稿中であった該当論文が国際会議Advances in Modal Logicに採択された。最後に、昨年度国際会議Wollic2009に採択された、疑問文の形式意味論inquisitive pair semanticsについての成果を、述語論理へと拡張し(ヒルベルト流公理系とゲンツェン流のラベル付きシークェント計算体系を与えた)、この成果をまとめた論文が、国際会議ICLA 2011に採択された。
    日本学術振興会, 特別研究員奨励費, 京都大学, 08J03439