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

Oda Tomohiro  小田 朋宏

ORCIDConnect your ORCID iD *help
… Alternative Names

ODA Tomohiro  小田 朋宏

Less
Researcher Number 00580383
Other IDs
Affiliation (Current) 2025: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
Affiliation (based on the past Project Information) *help 2023 – 2024: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
2018 – 2020: 株式会社SRA(先端技術研究所), 先端技術研究所, 研究員
2016: 株式会社SRA(先端技術研究所), 先端技術研究所, 研究員
2014 – 2015: 株式会社SRA(先端技術研究所), その他部局等, 研究員
2013: 株式会社SRA, 先端技術研究所, 研究員
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related / Software
Except Principal Investigator
Basic Section 07090:Commerce-related / Basic Section 40030:Aquatic bioproduction science-related / Intelligent informatics
Keywords
Principal Investigator
形式手法 / レジスタマシンVMの設計 / VDM-SLによるVM開発 / 形式手法向けVM / 仮想機械 / モデル規範型開発 / VDM-SL / バーチャルマシン / 実行可能仕様 / 国際情報交換(フランス) … More / 研究成果の一般公開 / 教育現場への適用 / 評価のための予備実験 / 公開した成果の改良 / 契約プログラミング / ビジュアルプログラミング / プログラミング教育 … More
Except Principal Investigator
グラフニューラルネットワーク / gOLAP / 潜在的関係 / 相関ルール / ネットワーク / サクラエビ / 動的重畳表現 / テキスト編集環境 / テキスト編集 / ナレッジインタラクションデザイン / 知識システム / 知識ベース Less
  • Research Projects

    (5 results)
  • Research Products

    (16 results)
  • Co-Researchers

    (6 People)
  •  Sakura shrimp farming: Attempt to improve survival rate using astaxanthin-enriched feed

    • Principal Investigator
      デュア ガエル
    • Project Period (FY)
      2024 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 40030:Aquatic bioproduction science-related
    • Research Institution
      Shizuoka University
  •  Technology to capture latent relationships using network structure and its applications

    • Principal Investigator
      中原 孝信
    • Project Period (FY)
      2023 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 07090:Commerce-related
    • Research Institution
      Senshu University
  •  Research on Virtual Machine to Support Model-based Formal MethodsPrincipal Investigator

    • Principal Investigator
      Oda Tomohiro
    • Project Period (FY)
      2018 – 2020
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Software Research Associates, Inc. (Key Technology Laboratory)
  •  Introducing Assertions to Visual Programming Environment for Introductory Programming EducationPrincipal Investigator

    • Principal Investigator
      Oda Tomohiro
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Software Research Associates, Inc. (Key Technology Laboratory)
  •  Enriching Text Editing Environments by Dynamically Overlaying Rhetorical, Statistical, and Grammatical Information

    • Principal Investigator
      NAKAKOJI Kumiyo
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Intelligent informatics
    • Research Institution
      Software Research Associates, Inc. (Key Technology Laboratory)

All 2020 2019 2017 2016 2014 2013 2012 2011 Other

All Journal Article Presentation

  • [Journal Article] 形式仕様工程の初期段階に着目した統合仕様記述環境 ViennaTalk2017

    • Author(s)
      小田朋宏, 荒木啓二郎
    • Journal Title

      コンピュータソフトウェア

      Volume: 印刷中

    • NAID

      130006855219

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330099
  • [Journal Article] A Formal Modeling Tool for Exploratory Modeling in Software Development2017

    • Author(s)
      Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
    • Journal Title

      IEICE Trans. Inf. & Syst.

      Volume: E100.D Issue: 6 Pages: 1210-1217

    • DOI

      10.1587/transinf.2016FOP0003

    • NAID

      130005687709

    • ISSN
      0916-8532, 1745-1361
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330099
  • [Presentation] Specifying Abstract user Interface in VDM-SL2020

    • Author(s)
      Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Han-Myung Chang, Peter Gorm Larsen
    • Organizer
      the 18th Overture Workshop
    • Data Source
      KAKENHI-PROJECT-18K18033
  • [Presentation] 探索的仕様記述のための履歴ツールの提案と実装2020

    • Author(s)
      小田朋宏, 張漢明, 山本恭裕, 中小路久美代, 荒木啓二郎
    • Organizer
      ソフトウェアシンポジウム2020
    • Data Source
      KAKENHI-PROJECT-18K18033
  • [Presentation] ViennaDoc: An Animatable and Testable Specification Documentation Tool2019

    • Author(s)
      omohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
    • Organizer
      The 17th Overture Workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K18033
  • [Presentation] 軽量形式手法VDMによるバーチャルマシンの開発2019

    • Author(s)
      小田朋宏, 荒木啓二郎
    • Organizer
      ソフトウェアシンポジウム2019
    • Data Source
      KAKENHI-PROJECT-18K18033
  • [Presentation] ソフトウェア開発発注者育成のための形式手法を取り入れたプログラミング教育2017

    • Author(s)
      伊藤栄一郎, 小田朋宏, 荒木啓二郎
    • Organizer
      ソフトウェアシンポジウム2017
    • Place of Presentation
      宮崎県宮崎市
    • Year and Date
      2017-06-07
    • Data Source
      KAKENHI-PROJECT-26330099
  • [Presentation] Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling2016

    • Author(s)
      Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
    • Organizer
      The Fourteenth Overture Workshop: Towards Analytical Tool Chains
    • Place of Presentation
      Limassol, Cyprus
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330099
  • [Presentation] VDM-SL仕様からのSmalltalkプログラムの自動生成2016

    • Author(s)
      小田朋宏, 荒木啓二郎
    • Organizer
      ソフトウェアシンポジウム2016
    • Place of Presentation
      鳥取県米子市
    • Year and Date
      2016-06-05
    • Data Source
      KAKENHI-PROJECT-26330099
  • [Presentation] ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 42016

    • Author(s)
      Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
    • Organizer
      International Workshop on Smalltalk Technologies
    • Place of Presentation
      Prague, Czech Republic
    • Year and Date
      2016-08-22
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330099
  • [Presentation] 文章執筆時の代替案の視覚的フィードバックに着目したプレーンテキストエディタ2014

    • Author(s)
      小田朋宏, 中小路久美代, 山本恭裕
    • Organizer
      2014年度人工知能学会全国大会
    • Place of Presentation
      松山
    • Data Source
      KAKENHI-PROJECT-23650077
  • [Presentation] 文章執筆時の語彙や言葉遣いの複数案をプレビューするためのインタラクティビティのデザイン2013

    • Author(s)
      中小路久美代, 小田朋宏, 山本恭裕
    • Organizer
      人工知能学会全国大会2013
    • Place of Presentation
      富山
    • Data Source
      KAKENHI-PROJECT-23650077
  • [Presentation] 編集中のテキスト情報を利用した書くことを支援するインタラクション機構のデザイン指針と試作2012

    • Author(s)
      中小路久美代, 小田朋宏, 山本恭裕
    • Organizer
      人工知能学会全国大会2012
    • Place of Presentation
      山口
    • Data Source
      KAKENHI-PROJECT-23650077
  • [Presentation] Pcard: 多様な情報端末やサービスを跨いだ個人毎の情報流通支援フレームワーク2011

    • Author(s)
      小田朋宏,中小路久美代
    • Organizer
      電子情報通信学会人工知能と知識処理研究会, 信学技報, Vol.111, No.310, AI2011-24, pp.43-48
    • Place of Presentation
      福岡市
    • Data Source
      KAKENHI-PROJECT-23650077
  • [Presentation] 文章執筆時の代替案の視覚的フィードバックに着目したプレーンテキストエディタ

    • Author(s)
      小田朋宏, 中小路久美代, 山本恭裕
    • Organizer
      2014年度人工知能学会全国大会, 4E1-03, pp.1-3
    • Place of Presentation
      愛媛県松山市
    • Data Source
      KAKENHI-PROJECT-23650077
  • [Presentation] 編集中のテキスト情報を利用した書くことを支援するインタラクション機構のデザイン指針と試作

    • Author(s)
      中小路久美代, 小田朋宏, 山本恭裕
    • Organizer
      人工知能学会全国大会2012, 3L-1-R-12-7, pp.1-3
    • Place of Presentation
      山口
    • Data Source
      KAKENHI-PROJECT-23650077
  • 1.  NAKAKOJI Kumiyo (00345133)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 6 results
  • 2.  デュア ガエル (60778471)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  宗林 留美 (00343195)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  西川 淳 (10282732)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  中原 孝信 (60553089)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  松下 光司 (40329008)
    # 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