プロフィール
- 2004年 早稲田大学理工学部情報学科 卒業
- 2006年 早稲田大学理工学研究科情報・ネットワーク専攻修士課程 修了
- 2006年 日本IBM(株) 入社
- 現在 東京基礎研究所 システムズグループに所属
著作リスト
論文誌
- 村山 敬, 工藤 晋太郎, 櫻井 健, 水野 謙, 加藤 紀夫, 上田 和紀, "階層グラフ書換え言語LMNtalの処理系", コンピュータソフトウェア, Vol.25, No.2, pp.47-77, 2008.
- 乾 敦行, 工藤 晋太郎, 原 耕司, 水野 謙, 加藤 紀夫, 上田 和紀, "階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal", コンピュータソフトウェア, Vol.25, No.1, pp.124-150, 2008.
- 水野 謙, 菅沼 俊夫, 石崎 一明, 古関 聰, 上田 陽平, 小松 秀昭, "並列トランザクショナルアプリケーションのためのプログラミングフレームワーク", 情報処理学会論文誌：プログラミング, Vol. 48, SIG 12 (PRO 34), pp.41-51, 2007.
国際会議
- Ken Mizuno, Takuya Nakaike, Toshio Nakatani, "Reducing Rollbacks of Transactional Memory Using Ordered Shared Locks", In Proceedings of the 15th International European Conference on Parallel and Distributed Computing (Euro-Par 2009), to appear.
国内学会
- 水野 謙, 菅沼 俊夫, 石崎 一明, 古関 聰, 上田 陽平, 小松 秀昭, "並列トランザクショナルアプリケーションのためのプログラミングフレームワーク", 第63回情報処理学会プログラミング研究会, PRO-64-4, 11 pages, 2007.
Revised into 情報処理学会論文誌：プログラミング, Vol. 48, SIG 12 (PRO 34), pp.41-51, 2007. - 乾 敦行, 原 耕司, 水野 謙, 上田 和紀, "階層グラフ書き換え言語LMNtal処理系とその応用例", 日本ソフトウェア科学会 第8回プログラミングおよびプログラミング言語ワークショップ (PPL 2006), 14 pages, 2006
- 中島 求, 加藤 紀夫, 水野 謙, 上田 和紀, "LMNtalを用いた分散処理の実現", 日本ソフトウェア科学会 第8回プログラミングおよび応用のシステムに関するワークショップ (SPA 2005), pp.101-110, 2005
- 水野 謙, 加藤 紀夫, 原 耕司, 上田 和紀, "階層グラフ書換え言語LMNtal処理系における非同期実行の実現", 日本ソフトウェア科学会第22回大会, 2005
- 櫻井 健, 加藤 紀夫, 水野 謙, 上田 和紀, "LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化", 第4回情報科学技術フォーラム (FIT 2005), 第一分冊 pp.33-36, 2005.
- 原 耕司, 水野 謙, 矢島 伸吾, 永田 貴彦, 中島 求, 加藤 紀夫, 上田 和紀, "LMNtal処理系および他言語インタフェースの設計と実装", 第50回情報処理学会プログラミング研究会, PRO-50-6, 2004.
- 加藤 紀夫, 水野 謙, 上田 和紀, "言語モデルLMNtalの操作的意味論の設計", 日本ソフトウェア科学会第21回大会, 2004.
- 中島 求, 加藤 紀夫, 水野 謙, 上田 和紀, "LMNtal分散処理系の設計と実装", 日本ソフトウェア科学会第21回大会, 2004
- 水野 謙, 永田 貴彦, 加藤 紀夫, 上田 和紀, "LMNtalルールコンパイラにおける内部命令の設計", 情報処理学会第66回全国大会, 2004.
コンタクト
〒242-8502 神奈川県大和市下鶴間1623-14
日本アイ・ビー・エム（株）東京基礎研究所 S74
E-mail: kmizuno (at) jp ibm com