• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

小田 朋宏  Oda Tomohiro

ORCIDORCID連携する *注記
研究者番号 00580383
その他のID
所属 (現在) 2025年度: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
所属 (過去の研究課題情報に基づく) *注記 2023年度 – 2024年度: 株式会社SRA(先端技術研究室), 先端技術研究室, 研究員
2018年度 – 2020年度: 株式会社SRA(先端技術研究所), 先端技術研究所, 研究員
2016年度: 株式会社SRA(先端技術研究所), 先端技術研究所, 研究員
2014年度 – 2015年度: 株式会社SRA(先端技術研究所), その他部局等, 研究員
2013年度: 株式会社SRA, 先端技術研究所, 研究員
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連 / ソフトウェア
研究代表者以外
小区分07090:商学関連 / 小区分40030:水圏生産科学関連 / 知能情報学
キーワード
研究代表者
形式手法 / レジスタマシンVMの設計 / VDM-SLによるVM開発 / 形式手法向けVM / 仮想機械 / モデル規範型開発 / VDM-SL / バーチャルマシン / 実行可能仕様 / 国際情報交換(フランス) … もっと見る / 研究成果の一般公開 / 教育現場への適用 / 評価のための予備実験 / 公開した成果の改良 / 契約プログラミング / ビジュアルプログラミング / プログラミング教育 … もっと見る
研究代表者以外
グラフニューラルネットワーク / gOLAP / 潜在的関係 / 相関ルール / ネットワーク / サクラエビ / 動的重畳表現 / テキスト編集環境 / テキスト編集 / ナレッジインタラクションデザイン / 知識システム / 知識ベース 隠す
  • 研究課題

    (5件)
  • 研究成果

    (16件)
  • 共同研究者

    (6人)
  •  サクラエビの養殖:アスタキサンチン強化餌料による生残率向上の試み

    • 研究代表者
      デュア ガエル
    • 研究期間 (年度)
      2024 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分40030:水圏生産科学関連
    • 研究機関
      静岡大学
  •  ネットワーク構造を利用した潜在的な関係性を捉える技術とその応用

    • 研究代表者
      中原 孝信
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分07090:商学関連
    • 研究機関
      専修大学
  •  モデル規範型形式手法を支援するバーチャルマシンの研究研究代表者

    • 研究代表者
      小田 朋宏
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      若手研究
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      株式会社SRA(先端技術研究所)
  •  プログラミング教育向けビジュアルプログラミング環境へのアサーションの導入研究代表者

    • 研究代表者
      小田 朋宏
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      株式会社SRA(先端技術研究所)
  •  修辞的・統計的・文法的な情報を動的に重畳して表現するテキスト編集環境

    • 研究代表者
      中小路 久美代
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      知能情報学
    • 研究機関
      株式会社SRA(先端技術研究所)

すべて 2020 2019 2017 2016 2014 2013 2012 2011 その他

すべて 雑誌論文 学会発表

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

    • 著者名/発表者名
      小田朋宏, 荒木啓二郎
    • 雑誌名

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

      巻: 印刷中

    • NAID

      130006855219

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26330099
  • [雑誌論文] A Formal Modeling Tool for Exploratory Modeling in Software Development2017

    • 著者名/発表者名
      Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E100.D 号: 6 ページ: 1210-1217

    • DOI

      10.1587/transinf.2016FOP0003

    • NAID

      130005687709

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330099
  • [学会発表] Specifying Abstract user Interface in VDM-SL2020

    • 著者名/発表者名
      Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Han-Myung Chang, Peter Gorm Larsen
    • 学会等名
      the 18th Overture Workshop
    • データソース
      KAKENHI-PROJECT-18K18033
  • [学会発表] 探索的仕様記述のための履歴ツールの提案と実装2020

    • 著者名/発表者名
      小田朋宏, 張漢明, 山本恭裕, 中小路久美代, 荒木啓二郎
    • 学会等名
      ソフトウェアシンポジウム2020
    • データソース
      KAKENHI-PROJECT-18K18033
  • [学会発表] ViennaDoc: An Animatable and Testable Specification Documentation Tool2019

    • 著者名/発表者名
      omohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
    • 学会等名
      The 17th Overture Workshop
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K18033
  • [学会発表] 軽量形式手法VDMによるバーチャルマシンの開発2019

    • 著者名/発表者名
      小田朋宏, 荒木啓二郎
    • 学会等名
      ソフトウェアシンポジウム2019
    • データソース
      KAKENHI-PROJECT-18K18033
  • [学会発表] ソフトウェア開発発注者育成のための形式手法を取り入れたプログラミング教育2017

    • 著者名/発表者名
      伊藤栄一郎, 小田朋宏, 荒木啓二郎
    • 学会等名
      ソフトウェアシンポジウム2017
    • 発表場所
      宮崎県宮崎市
    • 年月日
      2017-06-07
    • データソース
      KAKENHI-PROJECT-26330099
  • [学会発表] Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling2016

    • 著者名/発表者名
      Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
    • 学会等名
      The Fourteenth Overture Workshop: Towards Analytical Tool Chains
    • 発表場所
      Limassol, Cyprus
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330099
  • [学会発表] VDM-SL仕様からのSmalltalkプログラムの自動生成2016

    • 著者名/発表者名
      小田朋宏, 荒木啓二郎
    • 学会等名
      ソフトウェアシンポジウム2016
    • 発表場所
      鳥取県米子市
    • 年月日
      2016-06-05
    • データソース
      KAKENHI-PROJECT-26330099
  • [学会発表] ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 42016

    • 著者名/発表者名
      Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
    • 学会等名
      International Workshop on Smalltalk Technologies
    • 発表場所
      Prague, Czech Republic
    • 年月日
      2016-08-22
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330099
  • [学会発表] 文章執筆時の代替案の視覚的フィードバックに着目したプレーンテキストエディタ2014

    • 著者名/発表者名
      小田朋宏, 中小路久美代, 山本恭裕
    • 学会等名
      2014年度人工知能学会全国大会
    • 発表場所
      松山
    • データソース
      KAKENHI-PROJECT-23650077
  • [学会発表] 文章執筆時の語彙や言葉遣いの複数案をプレビューするためのインタラクティビティのデザイン2013

    • 著者名/発表者名
      中小路久美代, 小田朋宏, 山本恭裕
    • 学会等名
      人工知能学会全国大会2013
    • 発表場所
      富山
    • データソース
      KAKENHI-PROJECT-23650077
  • [学会発表] 編集中のテキスト情報を利用した書くことを支援するインタラクション機構のデザイン指針と試作2012

    • 著者名/発表者名
      中小路久美代, 小田朋宏, 山本恭裕
    • 学会等名
      人工知能学会全国大会2012
    • 発表場所
      山口
    • データソース
      KAKENHI-PROJECT-23650077
  • [学会発表] Pcard: 多様な情報端末やサービスを跨いだ個人毎の情報流通支援フレームワーク2011

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

    • 著者名/発表者名
      小田朋宏, 中小路久美代, 山本恭裕
    • 学会等名
      2014年度人工知能学会全国大会, 4E1-03, pp.1-3
    • 発表場所
      愛媛県松山市
    • データソース
      KAKENHI-PROJECT-23650077
  • [学会発表] 編集中のテキスト情報を利用した書くことを支援するインタラクション機構のデザイン指針と試作

    • 著者名/発表者名
      中小路久美代, 小田朋宏, 山本恭裕
    • 学会等名
      人工知能学会全国大会2012, 3L-1-R-12-7, pp.1-3
    • 発表場所
      山口
    • データソース
      KAKENHI-PROJECT-23650077
  • 1.  中小路 久美代 (00345133)
    共同の研究課題数: 1件
    共同の研究成果数: 6件
  • 2.  デュア ガエル (60778471)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  宗林 留美 (00343195)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  西川 淳 (10282732)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  中原 孝信 (60553089)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  松下 光司 (40329008)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi