Okamoto Keishi 岡本圭史

… Alternative Names

OKAMOTO Keishi 岡本圭史

Less

Researcher Number	00308214
Other IDs
Affiliation (Current)	2025: 仙台高等専門学校, 総合工学科, 教授
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 機械学習 / 反例解析 / 自然語解析 / バグ局所化 / 有界モデル検査 / 時間オートマトン / 自然語処理 / 形態素解析 / 議論可視化 / 紛争解決 / 教師あり学習 / 受理可能性学習 / 紛争研究 / 論理 / 知能情報学 / 非単調論理 / 逆問題 / ベイズ推論 / 計算論的議論 / 生成モデル / ベイズ / 推論 / 議論 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
自然語解析と反例解析を活用したソフトウェア開発
- Principal Investigator
  
  岡野浩三
- 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 2022 2021 2020 2019 2017 2013 2012 2011 2010 Other

All Journal Article Presentation

[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] 自然言語処理の応用による要求仕様書中の矛盾検出手法の提案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: 3 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. 阿部明典 (40221725)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 岡野浩三 (70252632)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 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: 0 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

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

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] 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

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] Comparing expressiveness of first-order modal μ-calculus and first-order CTL2010

Okamoto Keishi 岡本圭史

OKAMOTO Keishi 岡本圭史