|
山田一宏 研究業績一覧 (2件)
![2024 2024](/ls_arrow.gif)
![2028 2028](/ll_arrow.gif)
![2024 2024](/l_arrow.gif)
- 2023
- 2022
- 2021
- 2020
- 2019
![2022 2022](/r_arrow.gif)
![2018 2018](/rr_arrow.gif)
- 全件表示
国内会議発表 (査読なし・不明)
-
山田一宏,
渡部卓雄,
森口草介,
西崎真也.
証明支援系を用いたMorrisの二分木走査アルゴリズムの検証,
情報処理学会ソフトウェア工学研究会,
情報処理学会研究報告ソフトウェア工学,
Vol. SE-171,
No. 26,
pp. 1-4,
Mar. 2011.
公式リンク
-
渡部卓雄,
森口草介,
山田一宏,
西崎真也.
プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ,
電子情報通信学会ソフトウェアサイエンス研究会(SIGSS),
信学技報,
電子情報通信学会,
Vol. 110,
No. 458,
pp. 97-102,
Feb. 2011.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|