研究者

J-GLOBAL ID：201801002057079550 更新日: 2024年01月30日

小田朋宏

Oda Tomohiro

所属機関・部署：
職名：研究員

研究分野 (1件)：ソフトウェア

研究キーワード (3件)：インタラクティビティ , ライブプログラミング , 形式仕様

競争的資金等の研究課題 (3件)：

2018 - 2021 モデル規範型形式手法を支援するバーチャルマシンの研究
2014 - 2017 プログラミング教育向けビジュアルプログラミング環境へのアサーションの導入
2011 - 2013 修辞的・統計的・文法的な情報を動的に重畳して表現するテキスト編集環境

論文 (37件)：

小田朋宏, 張漢明, 山本恭裕, 中小路久美代, 荒木啓二郎. 探索的仕様記述のための履歴ツールの提案と実装. ソフトウェアシンポジウム2020論文集. 2020
熊澤努, 小田朋宏. 行列計算に基づくモデル検査技術. ソフトウェアシンポジウム2020論文集. 2020
ViennaDoc: An Animatable and Testable Specification Documentation Tool. 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

もっと見る

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)

もっと見る

講演・口頭発表等 (3件)：

「埋蔵分子」発掘プロジェクト:化学反応経路マップのインタラクティブ可視化に向けて
(インタラクション2013 2014)
化学反応経路の全面探索の可視化とデータマイニングによる発見への取り組み
(シンポジウム「化学反応経路探索のニューフロンティア2013」 2013)
GRRMによる化学反応経路探索とライブラリ化
(「化学反応経路探索のニューフロンティア2012」 2012)

学位 (1件)：

博士(工学) (九州大学)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM