• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Okamoto Keishi  岡本 圭史

ORCIDConnect your ORCID iD *help
… 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
  • Research Projects

    (5 results)
  • Research Products

    (31 results)
  • Co-Researchers

    (11 People)
  •  複雑システムに対応する保証付き階層化安全分析手法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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi