Rchr
J-GLOBAL ID:201801002057079550
Update date: Jan. 30, 2024
Oda Tomohiro
Oda Tomohiro
Contact this researcher
You can send email directly to the researcher.
Affiliation and department:
- Key Technology Group
About - Key Technology Group
Search "- Key Technology Group"
Job title:
Researcher
Research field (1):
Software
Research keywords (3):
Interactivity
, Live Programming
, Formal Specification
Research theme for competitive and other funds (3):
2018 - 2021 Research on Virtual Machine to Support Model-based Formal Methods
2014 - 2017 Introducing Assertions to Visual Programming Environment for Introductory Programming Education
2011 - 2013 Enriching Text Editing Environments by Dynamically Overlaying Rhetorical, Statistical, and Grammatical Information
Papers (37):
小田朋宏, 張漢明, 山本恭裕, 中小路久美代, 荒木啓二郎. 探索的仕様記述のための履歴ツールの提案と実装. ソフトウェアシンポジウム2020論文集. 2020
熊澤努, 小田朋宏. 行列計算に基づくモデル検査技術. ソフトウェアシンポジウム2020論文集. 2020
Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Peter Gorm Larsen. ViennaDoc: An Animatable and Testable Specification Documentation Tool. Proceedings of the 17th Overture Workshop. 2019
小田朋宏, 荒木啓二郎. 軽量形式手法VDMによるバーチャルマシンの開発. ソフトウェアシンポジウム2019論文集. 2019. 46-55
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen. ViennaVM: a Virtual Machine for VDM-SL development. Proceedings of the 16th Overture Workshop:. 2018
more...
MISC (14):
小田朋宏, 中小路久美代, 山本恭裕. 文章執筆時の代替案の視覚的フィードバックに着目したプレーンテキストエディタ. 人工知能学会全国大会論文集(CD-ROM). 2014. 28th. 0. ROMBUNNO.4E1-03(4E1-3)-3
北 雄介, 小田 朋宏, 山本 恭裕, 中小路 久美代. 都市の長期的変容プロセスのモデル化と記述に関する研究. 日本都市計画学会関西支部研究発表会講演概要集. 2014. 12. 0. 77-80
小田朋宏, 中小路久美代, 山本恭裕. ソフトウェア開発における知識伝達媒体としてのライブプログラミング環境. 第十二回知識流通ネットワーク研究会. 2013
中小路久美代, 小田朋宏, 山本恭裕. 文章執筆時の語彙や言葉遣いの複数案をプレビューするためのインタラクティビティのデザイン. 人工知能学会全国大会論文集(CD-ROM). 2013. 27th. 0. ROMBUNNO.4D1-5(4D1-05)-4
佐藤寛子, BORINI Stefano, 小田朋宏, 中小路久美代, 大野公一. 理論化学-データケミストリー:超球面探索法より得られる化学反応経路データの蓄積と活用. 分子科学討論会講演プログラム&要旨(Web). 2013. 7th. ROMBUNNO.1P117 (WEB ONLY)
more...
Lectures and oral presentations (3):
"Maizo"-chemistry project: Towards Interactive Visualization of Chemical Reaction Route Map
(Interaction 2013 2014)
化学反応経路の全面探索の可視化とデータマイニングによる発見への取り組み
(シンポジウム「化学反応経路探索のニューフロンティア2013」 2013)
GRRMによる化学反応経路探索とライブラリ化
(「化学反応経路探索のニューフロンティア2012」 2012)
Professional career (1):
博士(工学) (九州大学)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM