日本ソフトウェア科学会
　　　　　　Awards Archives

[高橋奨励賞受賞者]　 [論文賞受賞者]　

第２５回大会 (2008)

森畑 明昌（東京大学）

　　　The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer

胡 振江（国立情報学研究所）

　　　Towards Compositional Approach to Model Transformation for Software Development

第２４回大会 (2007)

渡邉 卓也（東京大学）

　　　類似プログラムの提示ツール Selene

外山 芳人（東北大学）

　　　帰納的経路関係に基づくS式書き換えシステムの停止性証明

河内谷 清久仁（日本IBM）

　　　Java処理系の使用メモリ削減の一手法

第２３回大会 (2006)

浜名 誠 (群馬大学)

　　　Representing Cyclic Structures as Nested Datatypes

西澤 弘毅 (産業技術総合研究所システム検証研究センター)

　　　Weighted Kripke Structures and Refinement of Models

第２２回大会 (2005)

米崎 直樹（東京工業大学）

　　　薬物相互作用の形式オントロジー

Nicolas Marti（東京大学）

　　　Toward Verfication of Memory Management Property using Separation Logic

第２１回大会 (2004)

玉野 浩嗣（東京工業大学）

　　　対話的証明器つき証明文書

藤田 憲悦（群馬大学）

　　　ガロア埋め込み：多相型関数と抽象データ型の証明双対性

第２０回大会 (2003)

中野 圭介（東京大学）

　　　XMLストリーム変換の自動導出が可能なXML変換言語の設計

前田 直人（NEC ネットワーキング研究所）

　　　アプリケーション・フレームワークを対象としたルール検査ツールの提案

横山 哲郎（東京大学）

　　　決定論的２階パターンとプログラム変換への応用

鷲崎 弘宜（早稲田大学）

　　　WWWからのオブジェクト指向プログラムの収集と検索

第１９回大会 (2002)

細部 博史（国立情報学研究所）

　　　「Chorus3D: 対話型３次元アプリケーションのための幾何制約解消系」

勝野 恭治（日本ＩＢＭ東京基礎研究所）

　　　「Bluetooth による位置検出」

上田 和紀（早稲田大学）

　　　「Programming with Logical Links」

第１８回大会 (2001)

大岩 寛（東京大学）

　　　「安全性を保証するANSI-C実行系の実装手法」

角谷 良彦（京都大学）

　　　「名前呼び再帰プログラムと値呼び繰り返しプログラムとの間の双対性」

第１７回大会 (2000)

小西 善二郎（早稲田大学）

　　　「一般部分計算（GPC）における再帰除去」

中田 昌宏（神戸大学）

　　　「Limiting recursive function による realizability interpretation とその応用」

第１６回大会 (1999)

吉田 信明（京都大学）

　　　「型を用いたリストの効率的な実行時環境の実現」

佐藤 周平（東京工業大学）

　　　「指示棒の認識を用いたプレゼンテーションシステムの構築」

第１５回大会 (1998)

早野 浩生（電気通信大学）

　　　「ドラック＆ドロップでスクリプトが記述できるシェル」

長谷川 真人（京都大学）

　　　「再帰的プログラムの意味論と絡み目の不変量」

佐藤 一郎 （お茶の水女子大学）

　　　「モーバイルエージェントの階層的な構成と移動」

第１４回大会 (1997)

松下 伸行（慶應義塾大学）

　　　「HoloWall: 壁面型インターフェースの新しい構築法」

胡 振江（東京大学）

　　　「Synthesizing Calculational Laws for Parallelization」

松本 尚 （東京大学）

　　　「汎用超並列オペレーティングシステム SSS-CORE のユーザーレベル通信同期機構」

第１３回大会 (1996)

伊藤 純一郎（慶應義塾大学/ソニーＣＳＬ）

　　　「ApertosオペレーティングシステムによるIPv6ルータの構築」

藤田 博征（筑波大学）

　　　「結合子による高階単一化再考」

飯田 弘之 （静岡大学）

　　　「ペアプレイにおける協調戦略」

第１２回大会 (1995)

西村 進（京都大学）

　　　「再帰的データ上での関数型データ並列calculus」

藤波 順久（ソニーＣＳＬ）

　　　「オブジェクト指向言語の実行時最適化」

第１１回大会 (1994)

西崎 真也（岡山大学）

　　　「ファーストクラスな環境と多相型」

第１０回大会 (1993)

千葉 滋（東京大学）

　　　「Open C++ における自己反映計算の処理系の最適化技法」

森 亮靖（東京工業大学）

　　　「時相論理によるリアクティブシステム仕様からの要求制約式の導出」

太田 和彦（山梨大学）

　　　「許容的な節集合に対する単一名仮説の計算手法」

大堀 淳（沖電気工業）

　　　「Standard ML# of Kansai: その理論と実装」

第９回大会 (1992)

追川 修一（慶応義塾大学）

　　　「Design and Implementation of Real-Time User-Level Thread」

金子 敬一（東京大学）

　　　「関数プログラムの完全遅延評価による部分計算」

周 能法（九州工業大学）

　　　「Constant Time Select, Test and Update for Boolean Tables」

宮下 健（東京大学）

　　　「抽象的データに対する直接操作インターフェイスの例による実現」

横内 寛文（日本ＩＢＭ東京基礎研究所）

　　　「共通型体系の型推論への応用」

第８回大会 (1991)

小池 英樹（電気通信大学）

　　　「Generalized Fractal Views」

寺岡 文男（ソニーコンピュータサイエンス研究所）

　　　「Virtual Internet Protocol の実装と評価」

第７回大会 (1990)

野木 兼六（日立製作所基礎研究所）

　　　「集合論プログラミングにおける仕様実行方式」

山本 章博（北海道大学）

　　　「抽象化の深さ制限導出への応用」

第６回大会 (1989)

小林 聡（東京大学)，龍田　真（東北大学）

　　　「直観主義的帰納的定義に対する実現可能性解釈」

石川 裕（電子技術総合研究所）

　　　「Priority Inversion in Network Protocol Handling」

第５回大会 (1988)

松本 裕治（電子技術総合研究所／京都大学）

　　　「Dynamic Layered Stream Programming」

村上 昌己（ICOT）

　　　「失敗集合に基づく並列論理型プログラムの宣言的意味」

第４回大会 (1987)

森下 真一（日本ＩＢＭ東京基礎研究所）

　　　「完備束上の論理型言語」

櫻井 彰人（日立製作所中央研究所）

　　　「帰納法なし帰納法によるProlog節の証明法」

第３回大会 (1986)

佐藤 泰介（電子総合技術研究所）

　　　「第1階コンパイラ―決定性のプログラム合成」

上村 務（日本ＩＢＭ東京基礎研究所）

　　　「Finitely Continuous Posets」

グループ: 代表 平田　圭二

　　　「新世代音楽システム ICOTone―立派な和音LPC86」

第２回大会 (1985)

上田 和紀（ICOT）

　　　「全解探索論理プログラムの決定的論理プログラムへの変換」

萩谷 昌己（京都大学）

　　　「構成的型理論における一般化について」

第１３回論文賞 (2008年度)

「人間関係の重なりを持つコミュニティ構造の抽出」

　　　風間一洋， 佐藤進也， 斉藤和巳， 山田武士，Vol. 24, No. 1(2007), pp.81-90.

「表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装」

　　　大堀淳， 纓坂智，Vol. 24, No. 2(2007), pp. 113-132.

第１２回論文賞 (2007年度)

「高階書換え系の停止性のための代数モデル」

　　　浜名誠，Vol. 23, No. 2(2006), pp.142-156.

「編集と発表を電子ペンで統一的に行うプレゼンテーションツールとその教育現場への応用」

　　　栗原一貴，五十嵐健夫，伊東乾，Vol. 23, No. 4(2006), pp. 14-25.

第１１回論文賞 (2006年度)

「LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations」

　　　新田直也，関浩之，Vol. 22, No. 3(2005), pp.58−75.

「Dynamic Translationを利用した可逆デバッガ」

　　　孝壽俊彦，高田眞吾，土居範久，Vol. 22, No. 3(2005), pp. 186−193.

第１０回論文賞 (2005年度)

「VPNとホストの実行環境を統合するパーソナルネットワーク」

　　　光来 健一，廣津 登志夫，佐藤 孝治，明石 修，福田 健介，菅原 俊治，千葉 滋，Vol.21, No.1 (2004), pp.2-12.

「C言語のための現実的なポインタ解析」

　　　関口 龍郎，Vol.21, No.6 (2004), pp.34-49.

第９回論文賞 (2004年度)

「自然の選択の情報に非対称性が存在する場合のオークションプロトコルの設計」

　　　伊藤 孝行，横尾 真，松原 繁夫，Vol.20, No.1 (2003), pp.16-26.

「低レベル言語のための情報流解析の型システム」

　　　小林 直樹，白根 慶太，Vol.20, No.2 (2003), pp.2-21.

第８回論文賞 (2003年度)

「EJBコンポーネントアーキテクチャのSPINによる振舞い解析」

　　　中島震，玉井哲雄，Vol.19, No.2 (2002), pp.2-18.

「安全なソフトウェア実行システムSoftwarePotの設計と実装」

　　　大山恵弘，神田勝規，加藤和彦，Vol.19, No.6 (2002), pp.2-12.

第７回論文賞 (2002年度)

「移動計算のためのプログラミング言語MobileML」

　　　橋本政朋，米澤明憲，Vol.18, No.2 (2001), pp.2-19.

第６回論文賞 (2001年度)

「サーチエンジンの検索結果のマルチレベル・グルーピングの評価」

　　　風間一洋，原田昌紀，佐藤進也，Vol.17, No.4 (2000), pp.58-69.

第５回論文賞 (2000年度)

「ネットワークワームを利用したネットワーク管理手法」

　　　小野木渡，清水亮博，大野浩之，Vol.16, No.3 (1999), pp.29-46.

「自己調整二分木の並列操作」

　　　上田 和紀，Vol.16, No.5 (1999), pp.78-83.

第４回論文賞 (1999年度)

「静的解析と制約充足によるプログラム自動デバッグ」

　　　網代 育大，長 健太，上田 和紀，Vol.15, No.1 (1998), pp.54-58.

第３回論文賞 (1998年度)

「進化的エージェント集団の動的環境への適応」

　　　佐々木 貴宏，所 真理雄，Vol.14, No.4 (1997), pp.33-46.

第２回論文賞 (1997年度)

「自己反映的証明体系RPTの理論と実装」

　　　亀山幸義，佐藤雅彦，Vol.12, No.2 (1995), pp.32-51.

「PDIアルゴリズム」

　　　西村進，Vol.12, No.5 (1995), pp.85-99.

「「計算＝編集」パラダイムに基づく例からのプログラミング」

　　　萩谷昌己，白取知樹，Vol.13, No.3 (1996), pp.64-78.

第１回論文賞 (1996年度)

「シンセティク・メディア・システム，Intelligent PAD」

　　　長山 祥，田中 譲，Vol.11, No.1 (1994), pp.36-48.

「自己反映言語Open C++とその分散処理への適用の実際」

　　　千葉 滋，益田 隆司，Vol.11, No.3 (1994), pp.33-48.

「並行計算のための簡約意味論」

　　　本田 耕平，吉田 展子，Vol.11, No.5 (1994), pp.2-20.

「Categorical Functional Programming」

　　　Tatsuya Hagino，Advances in Software Science and Technology (英文誌) Vol.4

■　解説論文賞受賞者( 解説論文賞表彰規定 )

第２回解説論文賞 (2008年度)

「アスペクト指向プログラミング」

　　　増原英彦, Vol. 23，No. 2 (2006)，pp. 4-28.

「スケッチインタフェースの研究動向」

　　　五十嵐健夫, Vol. 23, No. 4 (2006), pp. 3-13.

第１回解説論文賞 (2006年度)

「XMLとスキーマ言語」

　　　村田真，川口耕介, Vol. 21, No. 6 (2004), pp. 50−59

「抽象化を用いた検証ツール」

　　　田辺良則，高井利憲，高橋孝一，Vol. 22, No. 1 (2005), pp. 2−44