岡本圭史 Okamoto Keishi

研究者番号	00308214
その他のID
所属 (現在)	2025年度: 仙台高等専門学校, 総合工学科, 教授
所属 (過去の研究課題情報に基づく) *注記	2018年度 – 2024年度: 仙台高等専門学校, 総合工学科, 教授 2017年度: 仙台高等専門学校, 総合工学科, 准教授 2012年度: 仙台高等専門学校, 情報システム工学科, 准教授 2011年度: 仙台高等専門学校, 総合科学系, 准教授 2010年度: 独立行政法人産業技術総合研究所, 関西産学官連携センター, 招聘研究員
審査区分/研究分野	研究代表者小区分25020:安全工学関連 / 小区分60050:ソフトウェア関連 / 情報学基礎研究代表者以外小区分60050:ソフトウェア関連 / 紛争研究
キーワード	研究代表者数理論理学 / 階層化 / 複雑システム / STAMP / STPA / 仕様検証 / 不整合解消 / 自然言語処理 / 品質向上 / 仕様 … もっと見る / SMTソルバ / 数理議論学 / (論理の)表現力 / 論理 / 表現力 / モデル / 一階様相μ計算 / 命題様相μ計算 / 形式手法 … もっと見る研究代表者以外機械学習 / 反例解析 / 自然語解析 / バグ局所化 / 有界モデル検査 / 時間オートマトン / 自然語処理 / 形態素解析 / 議論可視化 / 紛争解決 / 教師あり学習 / 受理可能性学習 / 紛争研究 / 論理 / 知能情報学 / 非単調論理 / 逆問題 / ベイズ推論 / 計算論的議論 / 生成モデル / ベイズ / 推論 / 議論隠す

複雑システムに対応する保証付き階層化安全分析手法STPA-Refine研究代表者
- 研究代表者
  
  岡本圭史
- 研究期間 (年度)
  2024 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分25020:安全工学関連
- 研究機関
  仙台高等専門学校
自然語解析と反例解析を活用したソフトウェア開発
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  信州大学
数理議論学に基づく仕様書の不整合解消支援ツールの作成研究代表者
- 研究代表者
  
  岡本圭史
- 研究期間 (年度)
  2019 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  仙台高等専門学校
実在・仮想データを用いた議論の論理に基づく紛争分析支援
- 研究代表者
  
  木藤浩之
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  紛争研究
- 研究機関
  電気通信大学
   東京大学
形式手法のための論理の構築と、一階拡張が満たす性質に関する研究研究代表者
- 研究代表者
  
  岡本圭史
- 研究期間 (年度)
  2011 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  仙台高等専門学校
   独立行政法人産業技術総合研究所

すべて 2022 2021 2020 2019 2017 2013 2012 2011 2010 その他

すべて雑誌論文学会発表

[雑誌論文] Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy2020
- 著者名/発表者名
  Hiroyuki Kido and Keishi Okamoto
- 雑誌名
  
  CoRR
  
  巻: abs/2012.08479
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020
- 著者名/発表者名
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 2170 ページ: 64-72
- NAID
  120006956442
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020
- 著者名/発表者名
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- 雑誌名
  
  京都大学数理解析研究所講究録, 採録予定
- NAID
  120006956442
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] A Tool Generating a C# Code with Contracts of Code Contracts from a VDM++ Model with Conditions2020
- 著者名/発表者名
  Yuma Yamano, Toshihiko Ando and Keishi Okamoto
- 雑誌名
  
  International Journal of Software Engineering (IJSE)
  
  巻: 8 ページ: 27-39
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11914
[雑誌論文] Automated route planning for milk-run transport logistics with the NuSMV model checker2013
- 著者名/発表者名
  Takashi Kitamura and Keishi Okamoto
- 雑誌名
  
  The IEICE Transactions on Information and Systems, Special Section on Parallel and Distributed Computing and Networking(Conditionally Accepted)
  
  巻: ―
- NAID
  130003385424
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010
- 著者名/発表者名
  Takashi KITAMURA, Keishi OKAMOTO, Makoto TAKEYAMA
- 雑誌名
  
  Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing
  
  巻: (Published electronically)
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Formal Verification in a First-Order Extension of Modal μ-calculus2010
- 著者名/発表者名
  Keishi Okamoto
- 雑誌名
  
  Information and Media Technologies
  
  巻: 5(1) ページ: 40-47
- NAID
  130004549126
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Comparing expressiveness of first-order modal μ-calculus and first-order CTL*2010
- 著者名/発表者名
  Keishi Okamoto
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1708 ページ: 1-14
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010
- 著者名/発表者名
  北村崇師, 岡本圭史, 武山誠
- 雑誌名
  
  Proceedings of the IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム
  
  ページ: 149-154
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Formal Verification ina First-Order Extension of Modal μ-calculus2010
- 著者名/発表者名
  Keishi Okamoto
- 雑誌名
  
  Information and MediaTechnologies
  
  巻: 5(1) ページ: 40-47
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Comparing expressiveness of first-order modal μ-calculus and first-order CTL2010
- 著者名/発表者名
  Keishi Okamoto
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1708
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] 要求・仕様参照モデルに基づく要求追跡の形式手法2010
- 著者名/発表者名
  北村崇師,岡本圭史,武山誠, Jackson の
- 雑誌名
  
  Proceedings of the IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム
  
  ページ: 149-154
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Formal Validation andRequirements Management Based on theJackson's Reference Model forRequirements and Specifications
- 著者名/発表者名
  Takashi KITAMURA,Keishi Okamoto,MakotoTAKEYAMA
- 雑誌名
  
  Proceedings of the 16th IEEE Pacific RimInternational Symposium on DependableComputing
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Automated route planning for milk-runtransport logistics with the NuSMV modelchecker
- 著者名/発表者名
  Takashi Kitamura and Keishi Okamoto
- 雑誌名
  
  The IEICE Transactions onInformation and Systems, Special Sectionon Parallel and Distributed Computing andNetworking
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] 自然言語処理の応用による要求仕様書中の矛盾検出手法の提案2022
- 著者名/発表者名
  穀田一真，岡本圭史
- 学会等名
  情報処理学会第84回全国大会
- データソース
  KAKENHI-PROJECT-19K11914
[学会発表] A Bounded Model Checker for Timed Automata and Its Application to LTL Properties2022
- 著者名/発表者名
  Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamotod Daisuke Bekki
- 学会等名
  26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Supporting the resolution of inconsistencies in specifications based on mathematical argumentation theory2021
- 著者名/発表者名
  Keishi Okamoto and Kazuma Kokuta
- 学会等名
  RIMS Symposia (Open), Model theoretic aspects of the notion of independence and dimension
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11914
[学会発表] Enumeration of Dung ’s Extensions with an SMT Solver2020
- 著者名/発表者名
  Keishi Okamoto
- 学会等名
  RIMS Model Theory Workshop 2020
- データソース
  KAKENHI-PROJECT-19K11914
[学会発表] Defining extensions with first-order logic formulas, and its computation2019
- 著者名/発表者名
  Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
- 学会等名
  2019 RIMS Model Theory Workshop
- データソース
  KAKENHI-PROJECT-19K11914
[学会発表] A Bayesian Approach to Argument-Based Reasoning for Attack Estimation2017
- 著者名/発表者名
  Hiroyuki Kido and Keishi Okamoto
- 学会等名
  Proc. of the 26th International Joint Conference on Artificial Intelligence
- 発表場所
  Melbourne, Australia
- 年月日
  2017-08-19
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15KT0041
[学会発表] 一階時相論理の表現力について2013
- 著者名/発表者名
  岡本圭史
- 学会等名
  日本数学会2013年度年会
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] 命題様相μ計算の一階拡張について2012
- 著者名/発表者名
  岡本圭史
- 学会等名
  仙台ロジックセミナー
- 発表場所
  東北大学
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] An automated route planning for milk-run transport logistics using model checking2012
- 著者名/発表者名
  Takashi Kitamura, Keishi Okamoto
- 学会等名
  4th International Workshop on Parallel and Distributed Algorithms and Applications
- 発表場所
  Okinawa, Japan
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Anautomated route planning for milk-runtransport logistics using model checking2012
- 著者名/発表者名
  Takashi Kitamura, Keishi Okamoto
- 学会等名
  4th International Workshop on Parallel andDistributed Algorithms and Applications
- 発表場所
  Okinawa, Japan
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] 命題時相論理の一階拡張について2012
- 著者名/発表者名
  岡本圭史
- 学会等名
  2010年日本数学会秋季総合分科会
- 発表場所
  東京理科大学
- 年月日
  2012-03-27
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] 検証のための論理構築2011
- 著者名/発表者名
  岡本圭史
- 学会等名
  論理学的手法に基づくプログラム検証技術
- 発表場所
  東北大学
- 年月日
  2011-12-07
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Toward a Concise Proof ofCompleteness Theorem for PropositionalModal ￥mu-calculus2010
- 著者名/発表者名
  Yuki ANBO, Keishi OKAMOTO and AkitoTSUBOI
- 学会等名
  2010年日本数学会秋季総合分科会
- 発表場所
  名古屋大学
- 年月日
  2010-09-22
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Toward a Concise Proof of Completeness Theorem for Propositional Modal \mu-calculus2010
- 著者名/発表者名
  Yuki ANBO, Keishi OKAMOTO, Akito TSUBOI
- 学会等名
  2010年日本数学会秋季総合分科会
- 発表場所
  名古屋大学
- 年月日
  2010-09-22
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Formal Validation and Requirements Management Based on theJackson's Reference Model forRequirements and Specifications2010
- 著者名/発表者名
  Takashi KITAMURA,Keishi Okamoto,MakotoTAKEYAMA
- 学会等名
  The 16thIEEE Pacific Rim International Symposiumon Dependable Computing
- 発表場所
  National Institute of Informatics,Tokyo, Japan
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010
- 著者名/発表者名
  北村崇師,岡本圭史,武山誠
- 学会等名
  ソフトウェアエンジニアリングシンポジウム2010
- 発表場所
  東洋大学
- 年月日
  2010-09-01
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010
- 著者名/発表者名
  Takashi KITAMURA, Keishi OKAMOTO, Makoto TAKEYAMA
- 学会等名
  The 16th IEEE Pacific Rim International Symposium on Dependable Computing
- 発表場所
  National Institute of Informatics, Tokyo, Japan
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-22500021

1. 高井利憲 (10425738)

共同の研究課題数: 3件

共同の研究成果数: 3件
2. 木藤浩之 (90705287)

共同の研究課題数: 2件

共同の研究成果数: 5件
3. 北村崇師 (70530484)

共同の研究課題数: 1件

共同の研究成果数: 11件
4. 阿部明典 (40221725)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 久代紀之 (50630886)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 新田克己 (60293073)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 中村潤 (80532994)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 岡野浩三 (70252632)

共同の研究課題数: 1件

共同の研究成果数: 1件
9. 関澤俊弦 (10549314)

共同の研究課題数: 1件

共同の研究成果数: 1件
10. 小形真平 (10589279)

共同の研究課題数: 1件

共同の研究成果数: 1件
11. 松野裕 (70534220)

共同の研究課題数: 1件

共同の研究成果数: 0件

岡本 圭史 Okamoto Keishi

研究課題

研究成果

共同研究者

複雑システムに対応する保証付き階層化安全分析手法STPA-Refine研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

自然語解析と反例解析を活用したソフトウェア開発

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

数理議論学に基づく仕様書の不整合解消支援ツールの作成研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

実在・仮想データを用いた議論の論理に基づく紛争分析支援

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式手法のための論理の構築と、一階拡張が満たす性質に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] A Tool Generating a C# Code with Contracts of Code Contracts from a VDM++ Model with Conditions2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] Automated route planning for milk-run transport logistics with the NuSMV model checker2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Formal Verification in a First-Order Extension of Modal μ-calculus2010

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Comparing expressiveness of first-order modal μ-calculus and first-order CTL*2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Formal Verification ina First-Order Extension of Modal μ-calculus2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Comparing expressiveness of first-order modal μ-calculus and first-order CTL2010

著者名/発表者名

岡本圭史 Okamoto Keishi