山内奨励賞・山内業績賞

山内奨励賞

1986-1: 金田泰; 中島秀之
1987-1: 根岸寛明、吉田哲三; 角田博保
1988-1: 田口友康、藤原儀直、太田雅久
1989-1: 倉田昌典、牛島和夫; 佐々木建昭、増永良文、三枝義典、阿部昭博、元吉文男、佐々木睦子
1990-1: 小島啓二、松田芳樹; 久野靖、角田博保
1991-1: 下村秀樹、高橋延匡; 斎藤隆文、高橋時一郎
1992-1: 内田昭宏、佐野晋; 松原仁、半田剣一、元吉文男
1993-1: 金田泰; 中島秀之
1994-1: 中川正樹; 中西正和、田中二郎、前田敦司、國吉芳夫、鳴海達也、石井政幸
1995年第10回山内奨励賞表彰 (1994年1月第35回プログラミング・シンポジウムでの発表に対して): 『アイコンは投げられるか？』久野靖、角田博保、大木敦雄、粕川正充
1996年第11回山内奨励賞表彰 (1995年1月第36回プログラミング・シンポジウムでの発表に対して): 『冷たい心でも協調は可能か - 自律エージェントの協調発現の論理 -』伊藤昭、矢野博之; 『意味コンピューティングに向けて』尾内理紀夫、高田敏弘、鷲坂光一
1997年第12回山内奨励賞表彰 (1996年1月第37回プログラミング・シンポジウムでの発表に対して): 『なめらかなユーザインタフェース』増井俊之、水口充、George Borden、柏木宏一; 『フラクタル音楽』斎藤隆文; 『アーケードゲームのテクノロジー（その１）』宮沢篤、駒野目裕久
1998年第13回山内奨励賞表彰 (1997年1月第38回プログラミング・シンポジウムでの発表に対して): 『キューマシンアーキテクチャとその並列Lisp処理系への応用』前田敦司; 『あるマシン工房の事例 ― TAO/SILENT の開発』竹内郁雄、吉田雅治、山崎憲一、天海良治
1999年第14回山内奨励賞表彰 (1998年1月第39回プログラミング・シンポジウムでの発表に対して): 『日本語における有繋文字列』延澤志保、斉藤博昭、中西正和; 『教育用ソフトウェアシステムの設計における視点』澤田伸一、坂東宏和、中川正樹
2000年第15回山内奨励賞表彰 (1999年1月第40回プログラミング・シンポジウムでの発表に対して): 『「楽しさ」を重視した教育支援ツールの設計と試作』坂東宏和、澤田伸一、中川正樹
2001年第16回山内奨励賞表彰 (2000年1月第41回プログラミング・シンポジウムでの発表に対して): 『手書きスケッチによるモデリングシステムTeddy』五十嵐健夫、松岡聡、田中英彦
2002年第17回山内奨励賞表彰 (2001年1月第42回プログラミング・シンポジウムでの発表に対して): 『最長片道きっぷ---理論と実践---』葛西隆也、宮代隆平
2003年第18回山内奨励賞表彰 (2002年1月第43回プログラミング・シンポジウムでの発表に対して): 『未踏プロジェクト、現在じたばた真っ最中』和田健之介、和田佳子、中口孝雄、星和明、金子勇、石井卓良、西尾泰和; 『ポピュラー音楽のリズムセクション自動生成システムの試作』近山隆; 『ロボカップへの挑戦』中山康二、宮澤慎一、竹内郁雄
2004年第19回山内奨励賞表彰 (2003年1月第44回プログラミング・シンポジウムでの発表に対して): 『ゲノム丸ごと可視化』西尾泰和、比戸将平、和田健之介、和田佳子、池村淑道、金谷重彦; 『An Implementation of Anonymous Authentication System』繁富利恵、副田俊介、疋田敏朗、小川貴英
2005年第20回山内奨励賞表彰 (2004年1月第45回プログラミング・シンポジウムでの発表に対して): 『SoftEtherによるEthernetの仮想化とトンネリング通信』登大遊; 『Viscuit: 柔らかい書き換えによるエンドユーザ向けアニメーション記述言語』原田康徳、加藤美由紀
2006年第21回山内奨励賞表彰 (2005年1月第46回プログラミング・シンポジウムでの発表に対して): 『Lamp：教育的かつ実用性のあるゲームミドルウェア』大谷淳平; 『漫画設計支援システム「POM」の開発』小林由佳、石若裕子
2007年第22回山内奨励賞表彰 (2006年1月第47回プログラミング・シンポジウムでの発表に対して): 『音楽を視覚的に認識する方法及びウダーの習得を支援するソフトウェアの開発』宇田道信
2008年第23回山内奨励賞表彰 (2007年1月第48回プログラミング・シンポジウムでの発表に対して): 『物体を擬人化するディスプレイロボットの開発』大澤博隆、向井淳、今井倫太
2009年第24回山内奨励賞表彰 (2008年1月第49回プログラミング・シンポジウムでの発表に対して): 『ゲームシステム記述言語KameTLにおけるリアルタイムデバッグ機構』丹野治門; 『意識しないで自然に使えるデータ管理システムDecas』荒川淳平、淺川浩紀
2010年第25回山内奨励賞表彰 (2009年1月第50回プログラミング・シンポジウムでの発表に対して): 『インタラクティブなUIを備えた統合型設計解析ソフトウェアの開発』梅谷信行; 『Fontaine: Web文字画像化と行内レイアウトシステムの開発』松田聖大、安村通晃; 『体験型ワークショップ用ソフトウェアの開発』原田康徳
2011年第26回山内奨励賞表彰 (2010年1月第51回プログラミング・シンポジウムでの発表に対して): 『Virtual Star --- 数学と論理による美の追及』西尾泰和（サイボウズ・ラボ株式会社）
2012年第27回山内奨励賞表彰 (2011年1月第52回プログラミング・シンポジウムでの発表に対して): 『メモリ安全なC言語処理系Fail-Safe Cの実用プログラムへの適用のための改良』大岩寛; 『動的なコード生成を用いた正規表現マッチャの実装』新屋良磨、河野真治
2013年第28回山内奨励賞表彰 (2012年1月第53回プログラミング・シンポジウムでの発表に対して): 『Building modern JavaScript Engine』鈴木勇介; 『FPGA向け高位合成言語としてのJavaの活用手法の検討』三好健文、船田悟史
2014年第29回山内奨励賞表彰 (2013年1月第54回プログラミング・シンポジウムでの発表に対して): 『ジグソーパズルによる関数プログラミング』中野圭介（電気通信大学）; 『Kompira：シンプルで軽量なIT運用自動化プラットフォーム』服部健太、溝江真也、三角正樹（フォースクーナ）
2015年第30回山内奨励賞表彰 (2014年1月第55回プログラミング・シンポジウムでの発表に対して): 『JVMバイトコードへの低水準操作を簡潔に記述可能なマクロシステム』馬谷誠二
2016年第31回山内奨励賞表彰 (2015年1月第56回プログラミング・シンポジウムでの発表に対して): 『TeXによる言語処理系の実装』白田靜哉
2017年第32回山内奨励賞表彰 (2016年1月第57回プログラミング・シンポジウムでの発表に対して): 『正規言語の零壱則とその応用について』新屋良磨
2018年第33回山内奨励賞表彰 (2017年1月第58回プログラミング・シンポジウムでの発表に対して): 『システム的選択によるN-tuple networksの``対戦型2048''への適用』岡和人、松崎公紀; 『OCaml@p: OCamlにおけるデバッグ出力機構』櫻井健二、中野圭介
2019年第34回山内奨励賞表彰 (2018年1月第59回プログラミング・シンポジウムでの発表に対して): 『Linuxアプリケーションバイナリにおけるコンパイラセキュリティオプションの有効性の静的解析』近藤秀太、渡辺亮平、菅原捷汰、横山雅展、中村慈愛、須崎有康、齋藤孝道
2020年第35回山内奨励賞表彰 (2019年1月第60回プログラミング・シンポジウムでの発表に対して): 『ランダムな変異を用いたバグ入りプログラムの生成』寺田実; 『並行プログラムのPartial Store Orderingでの実行をモデル検査するためのReleaseメモリバリア』鵜川始陽、松元稿如、飯干寛幸
2021年第36回山内奨励賞表彰 (2020年1月第61回プログラミング・シンポジウムでの発表に対して): 『静的型つき組版処理システムSATySFi：その後の発展と今後の課題』諏訪敬之
2022年第37回山内奨励賞表彰 (2021年1月第62回プログラミング・シンポジウムでの発表に対して): 『ReDoS 検出プログラム recheck の開発』藤浪大弥; 『立体連結ゲームBridget のプログラミングー古典的手法再び＋√α』竹内郁雄、天海良治

山内業績賞

1986-1: 高橋秀俊、石橋善行
1987-1: 清水辰二郎; 森口繁一
1988-1: 竹下享; 渡辺隼郎
1989-1: 谷恭彦; 牛島和夫
1990-1: 大槻説乎; 西村敏男、伊大知紀子
1991-1: 水谷静夫; 斎藤信男
1992-1: 戸田英雄; 浜田穂積、中田育男、霜田忠孝、小林正和
1993-1: 藤野喜一; 井上謙蔵、高橋秀和、清水公子
1994-1: 穂坂衛; 山崎勝弘、富田真治、萩原宏
1995-1: 大泉充郎、高橋理; 西村恕彦; 白濱律雄、前野年紀