Skip to content

Instantly share code, notes, and snippets.

@ytakano

ytakano/Publications.md

Last active November 27, 2025 09:53
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save ytakano/7193445 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save ytakano/7193445 to your computer and use it in GitHub Desktop.
Download ZIP
Yuuki Takano - Publications
Raw
Publications.md

特許

  1. 津田 侑, 遠峰 隆史, 金谷 延幸, 安田 真悟, 高野 祐輝, 井上 大介, 中尾 康二, 特許第7045050号, 通信監視システム及び通信監視方法, https://www.j-platpat.inpit.go.jp/c1800/PU/JP-2019-097133/27C04BE6D18C609BC2C11EEA7AC102862B8AA15C73F57FFCA98CF05BBC942A56/11/ja
  2. 井上 朋哉, 高野 祐輝, 三輪 信介, 特許第6888234号, 検索装置, 検索プログラム, 及び検索方法, https://www.j-platpat.inpit.go.jp/c1800/PU/JP-2018-196075/1DBFCF60F61A776FC3861BC2798280436641AEA5848B00F6CBAEEE49CD1F84D7/11/ja

Book

  1. 高野 祐輝, "ゼロから学ぶRust", 講談社, Dec. 2022.
  2. 高野 祐輝, "並行プログラミング入門", オライリー・ジャパン, Aug. 2021.
  3. Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, and Yuuki Takano, "Secure primitive for big data utilization", In Atsuko Miyaji and Tomoaki Mimoto, editors, "Security Infrastructure Technology for Integrated Utilization of Big Data - Applied to the Living Safety and Medical Fields", Springer, pp.35–63, April 2020.

Journal (refereed)

  1. Ryuta Kambe, Makoto Kurihara, Tetsuhiro Kawaguchi, Ryohei Kawabuchi, and Yuuki Takano, "Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm", Journal of Information Processing Vol.33(2025) (online), Oct. 2025, ISSN 1882-7829, https://ipsj.ixsq.nii.ac.jp/records/2004821
  2. Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji, "PRSafe: A Domain Specific Language Created with LLVM", Journal of Information Processing, 2024, Volume 32, Pages 207-222, Released on J-STAGE February 15, 2024, Online ISSN 1882-6652
  3. Atsuko Miyaji, Kaname Watanabe, Yuuki Takano, Kazuhisa Nakasho, Sho Nakamura, Yuntao Wang, and Hiroto Narimatsu, "Privacy-Preserving Distributed Medical Data Integration Security System for Accuracy Assessment of Cancer Screening: Development Study of Novel Data Integration System", JMIR Preprints, https://preprints.jmir.org/preprint/38922, Nov. 2022.
  4. Yuuki Takano, Ryosuke Miura, Shingo Yasuda, Kunio Akashi, and Tomoya Inoue, "Design and Implementation of a Scalable and Flexible Traffic Analysis Platform", 日本ソフトウェア科学会学会誌『コンピュータソフトウェア』, Vol.36, No.3, pp.85-103, Aug. 2019, [PDF]
  5. Yuuki Takano and Ryosuke Miura, "FARIS: Fast and Memory-efficient URL Filter by Domain Specific Machine on CPU and GPGPU", Journal of Software Networking, Vol. 2017, Issue 1, pp.101-136, Jan. 2017, [PDF]
  6. Razvan Beuran, Shingo Yasuda, Tomoya Inoue, Yuuki Takano, Toshiyuki Miyachi, and Yoichi Shinoda, "Towards an Interactive Experiment Framework: DynamiQ", EAI Endorsed Trans. Cloud Systems, Vol. 1, No. 4, Aug. 2015, [URL]
  7. Razvan Beuran, Shingo Yasuda, Tomoya Inoue, Yuuki Takano, Toshiyuki Miyachi, and Yoichi Shinoda, "DynamiQ: A Tool for Dynamic Emulation of Networks", EAI Endorsed Trans. Self-Adaptive Systems, Vol. 1, No. 2, Aug. 2015, [URL]
  8. 高野 祐輝，安藤 類央，宇多 仁，高橋 健志，井上 朋哉，"DNSオープンリゾルバの実態"，電子情報通信学会 B，Vol.J97-B, No.10, pp.873-889, Oct 2014，[PDF] [PDF in English]
  9. 斉藤 賢爾，高野 祐輝, "現実世界の条件に適応する分散ハッシュテーブル", 電子情報通信学会論文誌 D, Vol.J96-D, No.6, pp.1433-1446, June 2013
  10. 井上 朋哉，高野 祐輝，三輪 信介，篠田 陽一, "汎用ネットワークソフトウェアに利用可能なサービスネームシステムの設計と実装", 日本ソフトウェア科学会学会誌 『コンピュータソフトウェア』, Vol. 28, No. 4, pp.222-240, Nov. 2011, [PDF]
  11. 高野 祐輝，井上 朋哉，知念 賢一，篠田 陽一, "NAT問題フリーなDHTを実現するライブラリlibcageの設計と実装", 日本ソフトウェア科学会学会誌 『コンピュータソフトウェア』, Vol. 27, No. 4, pp.58-76, Nov. 2010, [PDF]
  12. (Alphabetical Order) Atsuko Miyaji and Yuuki Takano, "Evaluation of the Security of RC6 against the x2-Attack", IEICE Transactions on Fundamentals of Electronics, Communications and Sciences, Vol. E90-A, No. 1, pp.22-28, Jan. 2007

International Conference/Workshop (refereed)

  1. Ryuta Kambe, Benjamin Gilby, Yuuki Takano, "A Formally Verified Leader Election Algorithm for Autonomous Driving System", the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2024,, Aug. 2024
  2. Yuuki Takano, "Deadlock- and Starvation-free Formally Verified Client Library for Robots", The 7th International Conference on System Reliability and Safety, ICSRS 2023, [PDF]
  3. Nobuyuki Kanaya, Yu Tsuda, Yuuki Takano, Yoshitada Fujiwara, Ryoichi Isawa, and Daisuke Inoue, "NEMIANA: Cross-Platform Execution Migration for Debugging", The Third ACM/IEEE International Conference on Automation of Software Test, pp.138-147, May 2022
  4. Liu Xiaolong, Yuuki Takano, and Atsuko Miyaji, "Design and Implementation of Session Types-based TCP and Unix Domain Sockets", The Eitgh International Conference on Information and Network Technologies, ICINT 2021, May 2022
  5. Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, and Atsuko Miyaji, "A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection", The Ninth International Symposium on Computing and Networking, pp.332-338, Nov. 2021
  6. Sai Veerya Mahadevan, Yuuki Takano, and Atsuko Miyaji, "PRSafe: Primitive Recursive Function based Domain Specific Language using LLVM", International Conference on Electronics, Information, and Communication, pp.377-380, Jan. 2021
  7. Nobuyuki Kanaya, Yu Tsuda, Yuuki Takano, and Daisuke Inoue, "Byakko: Automatic Whitelist Generation based on Occurrence Distribution of Features of Network Traffic", IEEE Workshop CyberHunt, pp.3190-3199, Dec. 2019
  8. Ryosuke Miura, Yuuki Takano, Shinsuke Miwa, and Tomoya Inoue, "GINTATE: Scalable and Extensible Deep Packet Inspection System for Encrypted Network Traffic", The Eighth International Symposium on Information and Communication Technology, pp.234-241, Dec. 2017
  9. Ruo Ando, Yuuki Takano, and Shinsuke Miwa, "A user mode implementation of filtering rule management plane using key-value store", 2017 17th IEEE International Conference on Communication Technology, pp.1972-1978, Oct. 2017
  10. Ruo Ando, Yuuki Takano, and Shinsuke Miwa, "An empirical study of third party APK’s URL using scriptable API and fast identifier-specific filter", 9th IEEE International Conference on Communication Software and Networks, pp.1501-1506, May 2017
  11. Kunio Akashi, Tomoya Inoue, Shingo Yasuda, Yuuki Takano, and Yoichi Shinoda, "NETorium: High-fidelity Scalable Wireless Network Emulator", ACM 12th Asian Internet Engineering Conference, pp.25-32 Nov. 2016 .
  12. Yuuki Takano and Ryosuke Miura, "FARIS: Fast and Memory-efficient URL Filter by Domain Specific Machine", IEEE International Conference on IT Convergence and Security, pp.204-210, Sep. 2016, [PDF]
  13. Shingo Yasuda, Ryosuke Miura, Satoshi Ohta, Yuuki Takano, and Toshiyuki Miyachi. "Alfons: A Mimetic Network Environment Construction System". In 11th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities, pp.59-66, June 2016.
  14. Yuuki Takano, Ryosuke Miura, Shingo Yasuda, Kunio Akashi, and Tomoya Inoue. "SF-TAP: Scalable and Flexible Traffic Analysis Platform Running on Commodity Hardware". In 29th Large Installation System Administration Conference, pp.25–36, Nov. 2015. [PDF]
  15. Yuuki Takano, Satoshi Ohta, Takeshi Takahashi, Ruo Ando, and Tomoya Inoue, "MindYourPrivacy: Design and Implementation of a Visualization System for Third-Party Web Tracking", IEEE Twelfth Annual Conference on Privacy, Security and Trust, pp.48-56, July 2014, [PDF]
  16. Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Akira Kanaoka, Yuuki Takano, and Shin'ichiro Matsuo, "Expressing Security Requirements: Usability of Taxonomy-Based Requirement Identification Scheme", IEEE SERVICES 2014, pp.121-128, June 2014
  17. Ruo Ando, Yuuki Takano, and Satoshi Uda, "Unraveling large scale geographical distribution of vulnerable DNS servers using asynchronous I/O mechanism", GreHack 2013, pp.116-129, Nov. 2013, [PDF]
  18. Tomoya Inoue, Yuuki Takano, Shinsuke Miwa, and Yoichi Shinoda, "A Design and Implementation of Nickname-Based Sockets for Applications inside NATed Network", ACM 7th Asian Internet Engineering Conference, pp.48-55, Nov. 2011
  19. Yuuki Takano, Naoki Isozaki and Yoichi Shinoda, "Multipath Key Exchange on P2P Networks", The First International Workshop on Dependable and Sustainable Peer-to-Peer Systems, DAS-P2P, In conjunction with The First International Conference on Availability, Reliability and Security, pp.748-755, April 2006
  20. (Alphabetical Order) Atsuko Miyaji and Yuuki Takano, "On the Success Probability of chi2-attack on RC6", Information Security and Privacy, 10th Australasian Conference, pp.61-74, July 2005
  21. (Alphabetical Order) Takashi Matsunaka, Atsuko Miyaji and Yuuki Takano, "Success Probability in Chi2-Attacks", Applied Cryptography and Network Security, Second International Conference, pp.310-325, June 2004

International Conference/Workshop (poster)

  1. Yuuki Takano, Tomoya Inoue, Hiroshi Nakai and Yoichi Shinoda, "Virtualization of Decentralized IP Networks using Structured P2P Network", IEEE First International Global Information Infrastructure Symposium, Poster Proceedings pp.17-18, July 2007

Japanese Conference (refereed)

  1. 安田 真悟, 三浦 良介, 太田 悟史, 高野 祐輝, 宮地 利幸, "ビルディングブロック型模擬環境構築システム", インターネットコンファレンス 2015 論文集, 日本ソフトウェア科学会, 研究会 資料シリーズ No.77, ISSN 1341-870X, pp.69-78, Oct. 2015, [PDF]
  2. Yuuki Takano, Ruo Ando, Takeshi Takahashi, Satoshi Uda, Tomoya Inoue, "A Measurement Study of Open Resolvers and DNS Server Version", インターネットコンファレンス 2013 論文集, 日本ソフトウェア科学会, 研究会 資料シリーズ No.72, ISSN 1341-870X, pp.23-32, Oct. 2013, 論文賞受賞, [PDF]
  3. 井上 朋哉，安田 真悟，高野 祐輝，宇多 仁，篠田 陽一, "PacketX: エンドホストにおけるアプリケーション指向 IP パケット制御機構", インターネットコンファレンス 2008 論文集, 日本ソフトウェア科学会, 研究会 資料シリーズ No.57, ISSN 1341-870X, pp.99-107, Oct. 2008, [PDF]

Japanese Workshop

  1. Joe Hattori, Yuuki Takano, and Naoki Kobayashi, "Towards Automatic Verification of Concurrency Memory Bug Freeness of Linux Kernel Modules by Transpilation to PlusCal", 研究報告システムソフトウェアとオペレーティング・システム（OS）, Feb. 2024
  2. 高野 祐輝, 神戸 隆太, "自動運転向けOSとその形式検証", ComSys 2023 企業展示, 2023年12月
  3. 尾崎 純平, 高野 祐輝, 宮地 充子, "eBPFの動作検証用フレームワーク及びデバッガの提案", (CSEC2022-99), 2022年12月
  4. 高野 祐輝, "Rustとモデル検査器を用いたROS2クライアントライブラリの設計と実装および安全性検証", SWEST24, 2022年9月
  5. 斎藤 文弥, 高野 祐輝, 宮地 充子, "Coqで検証可能なTEEシェル基盤の実装", 情報通信システムセキュリティ研究会, (CSEC2022-97), 2022年5月
  6. 劉 小竜, 高野 祐輝, 宮地 充子, "セッション型を用いたプロセス間の安全な通信プロトコルの設計と実装", 情報通信システムセキュリティ研究会 (ICSS2021-50), 2021年11月
  7. 金谷 延幸, 津田 侑, 高野 祐輝, 藤原 吉唯, 伊沢 亮一, 井上 大介, "FPGAによるソフトウェア解析環境「Iana」の提案", Computer Security Group (CSEC2021-93), 2021年5月
  8. 斎藤 文弥, 高野 祐輝, 宮地 充子, "Coqを用いたソフトウェアスイッチの設計と実装", Computer Security Group (CSEC2021-03), 2021年3月
  9. 尾崎 純平, 高野 祐輝, 宮地 充子, "Rust言語用動的メモリアロケータの検査フレームワークの提案", Computer Security Group (CSEC2021-03), 2021年3月
  10. 竹中 幹, 高野 祐輝, 宮地 充子, "多様なネットワークで利用可能な低レイテンシ欺瞞的防御システムの設計と実装", Symposium on Cryptography and Information Security (SCIS) 2021, 2021年1月
  11. Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji , "PRSafe: Primitive Recursive Function Based Domain Specific Programming Language Using LLVM", 情報処理学会 コンピュータセキュリティシンポジウム 2020 (CSS 2020) 論文集, pp. 94-100, 2020年10月
  12. 高野 祐輝, 金谷 延幸, 津田 侑, "Make TrustZone Great Again", 情報処理学会 コンピュータセキュリティシンポジウム 2020 (CSS 2020) 論文集, pp. 422-429, 2020年10月
  13. 細谷 昂平, 高野 祐輝, 宮地 充子, "F*言語を用いたネットワークファンクションの設計と実装", Computer Security Group (CSEC2020-03), 2020年3月
  14. 岡 大貴, 高野 祐輝, 鄭 振牟, 宮地 充子, "ZoKratesのドメイン固有言語に対するLispベースの拡張とVariant型の提案", Computer Security Group (CSEC2020-03), 2020年3月
  15. 西口 朋哉, 宮地 充子, 高野 祐輝, "セッション型を用いたアクセス制御システムの評価", 第50回情報通信システムセキュリティ研究会 (ICSS), 2020年3月
  16. 竹中 幹, 高野 祐輝, 宮地 充子, "XDPを用いたネットワーク型欺瞞的防御システムの設計と実装", SCIS 2020, 2020年1月
  17. 西口 朋哉, 高野 祐輝, 宮地 充子, "セッション型を用いたアクセスコントロール機構の設計と実装", SCIS 2020, 2020年1月
  18. 宮地 充子, 高野 祐輝, 河内 亮周, 中正 和久, "プライバシーを保護した多機関データ突合システムについて", 第39回医療情報学連合大会, 2019年11月
  19. 金谷 延幸, 津田 侑, 高野 祐輝, 井上 大介, "サイバー攻撃観測における対象ネットワーク特化型ホワイトリスト作成手法の提案", 情報処理学会 コンピュータセキュリティシンポジウム 2019 (CSS 2019) 論文集, 2019年10月
  20. 竹中 幹, 高野 祐輝, 宮地 充子, "Deceptionネットワークを構成するフレームワークの提案", Computer Security Group (CSEC2019-03), IPSJ SIG Tech. Rep, Vol. 2019-DPS-178(5),1-7, 2019年3月
  21. 金谷 延幸, 津田 侑, 高野 祐輝, 井上 大介, "サイバー攻撃観測のモデル化とデータ生成・変換手法", 暗号と情報セキュリティシンポジウム 2019 (SCIS 2019), 2019年1月
  22. 金谷 延幸, 津田 侑, 遠峰 隆史, 高野 祐輝, 井上 大介, "サイバー攻撃に対する能動的観測による収集データのモデル化と正規化手法", 情報処理学会 コンピュータセキュリティシンポジウム 2018 (CSS 2018) 論文集, pp. 1162-1169, 2018年10月
  23. 高野 祐輝, 三浦 良介, "チャネルの順序関係を表現可能な階層型並行計算モデルの提案", 情報処理学会 プログラミング研究会, 第119回プログラミング研究発表会, 2018年6月
  24. 津田 侑, 遠峰 隆史, 金谷 延幸, 牧田 大祐, 丑丸 逸人, 神宮 真人, 高野 祐輝, 安田 真悟, 三浦 良介, 太田 悟史, 宮地 利幸, 神園 雅紀, 衛藤 将史, 井上 大祐, 中尾 康二, "サイバー攻撃誘引基盤 STARDUST", マルウェア対策研究人材育成ワークショップ 2017 (MWS2017), 情報処理学会 コンピュータセキュリティシンポジウム 2017 (CSS 2017) 論文集, pp. 472-479, 2017年10月
  25. 湯村 翼, 高野 祐輝, 安田 真悟, 宮地 利幸, "CROW: OpenFlowを用いた動的Webアクセス模倣システム", マルチメディア, 分散, 協調とモバイル (DICOMO2016) シンポジウム 論文集, ISSN 1882-0840, 情報処理学会シンポジウムシリーズ Vol. 2016, No.1, pp. 32 - 37, 2016年7月
  26. 太田 悟史, 安田 真悟, 湯村 翼, 高野 祐輝, "次世代サイバー演習環境に向けて", マルチメディア, 分散, 協調とモバイル (DICOMO2016) シンポジウム 論文集, ISSN 1882-0840, 情報処理学会シンポジウムシリーズ Vol. 2016, No.1, pp. 1776 - 1782, 2016年7月
  27. 三浦 良介, 高野 祐輝, 井上 朋哉, "APIフックによるSSL/TLS通信のDPIシステムの提案", 情報処理学会 コンピュータセキュリティシンポジウム 2015 (CSS 2015) 論文集, pp. 1073-1080, 2015年10月
  28. 安田 慎吾, 三浦 良介, 高野 祐輝, 宮地 利幸, "Alfons:マルウェア解析の為の高詳細な環境構築システム", 電子情報通信学会 情報通信マネジメント研究会, 信学技報, vol. 114, no. 523, ICM2014-77, pp. 139-144, 2015年3月
  29. 高野 祐輝, 三浦 良介, 安田 慎吾, 明石 邦夫, 井上 朋哉, "SF-TAP：柔軟で規模追従可能なトラフィック解析基盤の設計", 電子情報通信学会 情報通信マネジメント研究会, 信学技報, vol. 114, no. 389, ICM2014-33, pp.7-12, 2015年1月
  30. 加藤 邦章, 高野 祐輝, 三浦 良介, 太田 悟史, 篠田 陽一, "MarketDrone: Android アプリケーションの動的解析フレームワーク", インターネットコンファレンス 2014 論文集, 日本ソフトウェア科学会, 研究会 資料シリーズ No.74, ISSN 1341-870X, pp.129-130, 2014 年 10 月, ポスター発表
  31. 高野 祐輝, 篠田 陽一, 鈴木 正人, "Java WEB アプリケーションにおける通信特性の解析と可視化", 情報処理学会 ソフトウェア工学研究会, 2009.11
  32. 高野 祐輝, 井上 朋哉, 篠田 陽一, "P2Pネットワークを用いた仮想IPネットワーク構築", 情報処理学会 マルチメディアと分散処理／コンピュータセキュリティ, ISSN 0919-6072, pp.237-242, 2007.3
  33. 高野 祐輝, 井上 朋哉, 篠田 陽一, "P2P@i: Peer-to-Peer Attached Tunneling Interfaceの設計", 電子情報通信学会 次世代ネットワークソフトウェア研究会, 2006.2
  34. 磯崎 直樹, 高野 祐輝, 篠田 陽一, "大規模な散布型センサネットワークにおけるルーティング方式の検討", 情報処理学会 モバイルコンピューティングとユビキタス通信／高度交通システム研究報告, ISSN 0919-6072, pp.135-140, 2005.11
  35. 高野 祐輝, 磯崎 直樹, 篠田 陽一, "複数経路を用いたP2Pネットワーク上でのネゴシエーションと鍵共有法", 情報処理学会 マルチメディアと分散処理／電子化知的財産・社会基盤研究報告, ISSN 0910-6072, pp.25-30, 2005.11
  36. 高野 祐輝, 宮地 充子, "16ラウンドRC6に適用可能なカイ2乗攻撃について", 情報セキュリティシンポジウム, SCIS 2005-4D2-3, pp.1945-1950, 2005.1

紀要等

  1. 高野 祐輝，"共通鍵暗号の安全性に関する研究"，JAISTにおける並列計算機および計算サーバ利用研究（2004年度），林 亮子 編，2005.3
  2. 高野 祐輝，徳井 直樹，"非可逆圧縮画像とその差分画像を用いた静止画像の可逆圧縮法"，石川工業高等専門学校紀要，AN00014363，pp.13-19，2003.3

博士論文

  1. 高野 祐輝，"インターネット環境に適した構造化P2Pネットワークソフトウェアの設計と実装"，北陸先端科学技術大学院大学 博士論文，2011.3

修士論文

  1. 高野 祐輝，"共通鍵暗号の安全性に関する研究"，北陸先端科学技術大学院大学 修士論文，2005.3

講演等

  1. 組込みマルチコアサミット, "並行プログラミング入門とRustを用いた低レベルプログラミング", 2021.11
  2. IIJ Labセミナー，"ネットワーク処理に特化した計算モデルとその言語ランタイムについて"，2017.6

受賞

  1. SWEST24, ベストポスター賞（シルバー）, 2022
  2. CSEC93 優秀研究賞, "FPGAによるソフトウェア解析環境「Iana」の提案", 2021
  3. 情報通信研究機構, 成績優秀賞 受賞, 2018
  4. MWS 2017 ベストプラクティカル研究賞 受賞, "サイバー攻撃誘引基盤 STARDUST", 2017
  5. DICOMO 2016, 野口賞 技術賞, "次世代サイバー演習環境に向けて", 2016
  6. Interop Tokyo 2015，Best of Show Award，サイエンス部門 グランプリ 受賞，"SF-TAP: Scalable and Flexible Traffic Analysis Platform"，2015
  7. Interop Tokyo 2015，Best of Show Award，ShowNet デモンストレーション部門 審査員特別賞 受賞，"CHAKRA: ソフトウェアベースL7解析器によるビッグデータビジュアライゼーション"，2015
  8. Interop Tokyo 2014，Best of Show Award，ShowNet デモンストレーション部門 審査員特別賞 受賞，"インタラクティブな無線メッシュネットワーク計画"，2014
  9. WIDE Project 2014年春のWIDE研究会 ポスター賞 受賞, 2014
  10. インターネットコンファレンス 2013 論文賞 受賞，2013
  11. 平成16年度優秀学生賞 受賞，情報処理学会北陸支部 2005.3

その他

  1. 情報処理学会 コンピュータセキュリティ研究会 運営委員, 2021.4 -
  2. 暗号と情報セキュリティシンポジウム 2022, 運営委員
  3. Member of the USENIX Association, 2015 -
  4. WIDE Project 2015年秋のWIDE研究会 ネットPC長，2015
  5. Interop Tokyo 2015 Contributor
  6. WIDE Project 2006年春のWIDE研究会 研究会長，2006
  7. WIDE Project 2006年秋合宿 プログラム委員，2006
  8. WIDE Project 2006年春合宿 プログラム委員，2006
  9. 北陸先端科学技術大学院大学奨励金 採択 2005
  10. 情報処理学会 会員 2005 -
  11. WIDE Project 会員，2004 -
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment