Okamoto Keishi 岡本圭史

… Alternative Names

OKAMOTO Keishi 岡本圭史

Less

Researcher Number	00308214
Other IDs
Affiliation (Current)	2026: 仙台高等専門学校, 総合工学科, 教授
Affiliation (based on the past Project Information) *help	2018 – 2024: 仙台高等専門学校, 総合工学科, 教授 2017: 仙台高等専門学校, 総合工学科, 准教授 2012: 仙台高等専門学校, 情報システム工学科, 准教授 2011: 仙台高等専門学校, 総合科学系, 准教授 2010: 独立行政法人産業技術総合研究所, 関西産学官連携センター, 招聘研究員
Review Section/Research Field	Principal Investigator Basic Section 25020:Safety engineering-related / Basic Section 60050:Software-related / Fundamental theory of informatics Except Principal Investigator Basic Section 60050:Software-related / Conflict Studies
Keywords	Principal Investigator 数理論理学 / ハザード分析 / 階層化 / 複雑システム / STAMP / STPA / 仕様検証 / 不整合解消 / 自然言語処理 / 品質向上 … More / 仕様 / SMTソルバ / 数理議論学 / (論理の)表現力 / 論理 / 表現力 / モデル / 一階様相μ計算 / 命題様相μ計算 / 形式手法 … More Except Principal Investigator 機械学習 / 反例解析 / 自然語解析 / バグ局所化 / 有界モデル検査 / 時間オートマトン / 自然語処理 / 形態素解析 / STAMP/STPA / LLM / コード解析 / 安全性検証 / 自然言語処理 / モデル導出 / モデル検査 / 議論可視化 / 紛争解決 / 教師あり学習 / 受理可能性学習 / 紛争研究 / 論理 / 知能情報学 / 非単調論理 / 逆問題 / ベイズ推論 / 計算論的議論 / 生成モデル / ベイズ / 推論 / 議論 Less

複雑システムに対応する保証付き階層化安全分析手法STPA-RefinePrincipal Investigator
- Principal Investigator
  
  岡本圭史
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 25020:Safety engineering-related
- Research Institution
  Sendai National College of Technology
Software development utilizing natural language analysis and counterexample analysis
- Principal Investigator
  
  Okano Kozo
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Shinshu University
Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theoryPrincipal Investigator
- Principal Investigator
  
  Okamoto Keishi
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Sendai National College of Technology
Argument-Based Data-Driven Conflict Studies
- Principal Investigator
  
  Kido Hiroyuki
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Conflict Studies
- Research Institution
  The University of Electro-Communications
  The University of Tokyo
Research on Construction of a Logic for Formal Methods and Properties of First-Order ExtensionsPrincipal Investigator
- Principal Investigator
  
  OKAMOTO Keishi
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Sendai National College of Technology
  National Institute of Advanced Industrial Science and Technology

All 2024 2022 2021 2020 2019 2017 2013 2012 2011 2010 Other

All Journal Article Presentation

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

1. 高井利憲 (10425738)

# of Collaborated Projects: 3 results

# of Collaborated Products: 4 results
2. Kido Hiroyuki (90705287)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
3. KITAMURA Takashi (70530484)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results
4. Okano Kozo (70252632)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
5. 阿部明典 (40221725)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 久代紀之 (50630886)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 新田克己 (60293073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 中村潤 (80532994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 関澤俊弦 (10549314)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
10. 小形真平 (10589279)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
11. 松野裕 (70534220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Okamoto Keishi 岡本 圭史

OKAMOTO Keishi 岡本 圭史

Research Projects

Research Products

Co-Researchers

複雑システムに対応する保証付き階層化安全分析手法STPA-RefinePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Software development utilizing natural language analysis and counterexample analysis

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Argument-Based Data-Driven Conflict Studies

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Construction of a Logic for Formal Methods and Properties of First-Order ExtensionsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Accident Causal Analysis Method for Complex Systems and Deriving Countermeasures2024

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy2020

Author(s)

Journal Title

Data Source

[Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

Author(s)

Journal Title

NAID

Data Source

[Journal Article] A Tool Generating a C# Code with Contracts of Code Contracts from a VDM++ Model with Conditions2020

Author(s)

Journal Title

Data Source

[Journal Article] Automated route planning for milk-run transport logistics with the NuSMV model checker2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010

Author(s)

Journal Title

Data Source

[Journal Article] Formal Verification in a First-Order Extension of Modal μ-calculus2010

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Comparing expressiveness of first-order modal μ-calculus and first-order CTL*2010

Author(s)

Journal Title

Data Source

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

Okamoto Keishi 岡本圭史

OKAMOTO Keishi 岡本圭史