河野友亮 Kawano Tomoaki

研究者番号	00837586
所属 (現在)	2025年度: 神奈川大学, 情報学部, 助教
所属 (過去の研究課題情報に基づく) *注記	2023年度: 神奈川大学, 情報学部, 助教 2020年度 – 2022年度: 東京工業大学, 情報理工学院, 研究員
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連
キーワード	研究代表者量子力学 / 量子情報科学 / 数理論理学 / 観測者の知識 / 様相 / 完全性 / シークエント計算 / エンタングルメント / 論理演算子 / 二項関係 … もっと見る / 複数粒子 / 量子観測理論 / 演繹体系 / 論理モデル / 確率過程 / 内積 / ヒルベルト空間 / 量子論理隠す

研究課題
(1件)
研究成果
(15件)

量子論理に不足している概念を追加した論理の様相論理学的構成研究代表者
- 研究代表者
  
  河野友亮
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  神奈川大学
   東京工業大学

すべて 2024 2023 2022 2021 2020

すべて雑誌論文学会発表

[雑誌論文] Quantum Logic for Observation of Physical Quantities2022
- 著者名/発表者名
  Tomoaki Kawano
- 雑誌名
  
  Dynamic Logic. New Trends and Applications
  
  巻: なしページ: 90-105
- 査読あり
- データソース
  KAKENHI-PROJECT-20K19740
[雑誌論文] Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic2022
- 著者名/発表者名
  Naosuke Matsuda, Kento Takagi, Tomoaki Kawano
- 雑誌名
  
  Notre Dame Journal of Formal Logic
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-20K19740
[雑誌論文] 射影観測による状態の変化を導入した動的認識論理について2021
- 著者名/発表者名
  河野　友亮
- 雑誌名
  
  第1回量子ソフトウェア研究発表会予稿集
  
  巻: -
- データソース
  KAKENHI-PROJECT-20K19740
[雑誌論文] Sequent Calculi for Orthologic with Strict Implication2021
- 著者名/発表者名
  Tomoaki Kawano
- 雑誌名
  
  Bulletin of the Section of Logic
  
  巻: －
- 査読あり
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] Dynamic Extended Quantum Logic with Properties of the Inner Product2024
- 著者名/発表者名
  Tomoaki Kawano
- 学会等名
  AWPL 2024: The 6th Asian Workshop on Philosophical Logic
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] 確率値を導入した量子動的様相論理について2023
- 著者名/発表者名
  河野友亮
- 学会等名
  第三十四回 ALGI 代数，論理，幾何と情報科学研究集会
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] Abstract Model and Deduction System for Dynamic Epistemic Quantum Logic2023
- 著者名/発表者名
  Tomoaki Kawano
- 学会等名
  20th International Conference on Quantum Physics and Logic (QPL 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2022
- 著者名/発表者名
  Tomoaki Kawano
- 学会等名
  SOCREAL 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics2022
- 著者名/発表者名
  Tomoaki Kawano
- 学会等名
  LATD 2022: Logic, Algebra, & Truth Degrees
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2021
- 著者名/発表者名
  Tomoaki Kawano
- 学会等名
  NCMPL2021
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] 複数観測者のための量子動的認識論理2021
- 著者名/発表者名
  Tomoaki Kawano
- 学会等名
  SLACS(記号論理と情報科学研究集会)2021
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] Quantum Logic for Observation of Physical Quantities2021
- 著者名/発表者名
  Tomoaki Kawano
- 学会等名
  AQIS2021
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] 命題記号を様相記号に持つ論理について2020
- 著者名/発表者名
  河野　友亮
- 学会等名
  ALGI28 代数、論理、幾何と情報科学研究集会
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] 命題記号を様相記号に持つ論理について2020
- 著者名/発表者名
  河野　友亮
- 学会等名
  56 回MLG 数理論理学研究集会
- データソース
  KAKENHI-PROJECT-20K19740
[学会発表] 射影観測による状態の変化を導入した動的認識論理について2020
- 著者名/発表者名
  河野　友亮
- 学会等名
  第1回量子ソフトウェア研究発表会
- データソース
  KAKENHI-PROJECT-20K19740

河野 友亮 Kawano Tomoaki

研究課題

研究成果

量子論理に不足している概念を追加した論理の様相論理学的構成研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Quantum Logic for Observation of Physical Quantities2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] 射影観測による状態の変化を導入した動的認識論理について2021

著者名/発表者名

雑誌名

データソース

[雑誌論文] Sequent Calculi for Orthologic with Strict Implication2021

著者名/発表者名

雑誌名

データソース

[学会発表] Dynamic Extended Quantum Logic with Properties of the Inner Product2024

著者名/発表者名

学会等名

データソース

[学会発表] 確率値を導入した量子動的様相論理について2023

著者名/発表者名

学会等名

データソース

[学会発表] Abstract Model and Deduction System for Dynamic Epistemic Quantum Logic2023

著者名/発表者名

学会等名

データソース

[学会発表] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2022

著者名/発表者名

学会等名

データソース

[学会発表] Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics2022

著者名/発表者名

学会等名

データソース

[学会発表] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2021

著者名/発表者名

学会等名

データソース

[学会発表] 複数観測者のための量子動的認識論理2021

著者名/発表者名

学会等名

データソース

[学会発表] Quantum Logic for Observation of Physical Quantities2021

著者名/発表者名

学会等名

データソース

[学会発表] 命題記号を様相記号に持つ論理について2020

著者名/発表者名

学会等名

データソース

[学会発表] 命題記号を様相記号に持つ論理について2020

著者名/発表者名

学会等名

データソース

[学会発表] 射影観測による状態の変化を導入した動的認識論理について2020

著者名/発表者名

学会等名

データソース

河野友亮 Kawano Tomoaki