伴野 良太郎 a.k.a. 艮 鮟鱇

English version.

• ばんの りょうたろう またの名を うしとら あんこう
• LinkedIn: Ryotaro Banno
• Facebook: Ryotaro Banno
• GitHub: ushitora-anqou
• Twitter: ushitora_anqou
• Keybase: anqou
• Speaker Deck: anqou
• Blog (new): blog.anqou.net
• Blog (old): カオスの坩堝/艮 鮟鱇
• AtCoder: u_anqou
• Publication List (dblp): Ryotaro Banno
• E-mail:
  • [email protected]
  • [email protected]

プログラムを書くのが好きです。アホらしいものを大真面目に作るのが好きです。

学歴・職歴

• サイボウズ株式会社（2023/4-現在）
• 京都大学大学院情報学研究科 通信情報システム専攻（2021/4-2023/3）
  • 五十嵐・末永研究室（2021/4-2023/3）
• 京都大学工学部情報学科 計算機科学コース（2017/4-2021/3）
  • 五十嵐・末永研究室（2020/4-2021/3）
• 東大寺学園高等学校（2014/4-2017/3）

履歴書に書けるもの

• 情報処理安全確保支援士試験(SC) 合格（令和四年度（2022 年）度秋期）
• 3級FP技能検定 合格（3級・実技（資産設計提案業務）, 2022/9/11）
• 日商簿記検定3級 合格（第161回, 2022/6/12）
• ネットワークスペシャリスト試験(NW) 合格（令和四年（2022 年）度春季）
• データベーススペシャリスト試験(DB) 合格（令和三年（2021 年）度秋季）
• TOEIC L&R 975 (L 480 + R 495) (2021/7/11)
• 令和 2 年度（第 1 回）京都大学工学部情報学科成績優秀賞
  • 最終累積 GPA：4.11/4.30
• 令和 2 年度総長賞
  • 「バーチャルセキュアプラットフォーム開発チーム」
• 2019 年度「未踏 IT 人材発掘・育成事業」採択・2019 年度未踏 IT 人材発掘・育成事業 「スーパークリエータ」認定
  • 「準同型暗号によるバーチャルセキュアプラットフォームの開発」
• Basic SecCap 8 修了（2019 年度）
• 応用情報技術者試験(AP) 合格（令和元年（2019 年）度秋期）
• セキュリティキャンプ全国大会 2018 修了
  • 「Y-II C コンパイラを自作してみよう！」
• 日本漢字能力検定 二級 合格（平成二十七年度第三回）
• 第 15 回日本情報オリンピック本選（2016 年 2 月 13 日～ 14 日実施）成績優秀者

Publications

査読あり（Refereed Papers）

英語版の当該節を見てください。

査読なし（Non-refereed Papers）

• 橋詰 陽太・古川 修平・松本 直樹・伴野 良太郎・松岡 航太郎・佐藤 高史「完全準同型暗号における BNN を用いた高速な秘匿推論手法の実装と評価」
  • 情報処理学会 第 84 回全国大会にて発表（発表者：橋詰 陽太）
  • 学生奨励賞受賞
• 伴野 良太郎・松岡 航太郎・松本 直樹・Song Bian・和賀 正樹・末永 幸平「完全準同型暗号を用いた秘匿 LTL オンラインモニタリング」
  • コンピュータセキュリティシンポジウム 2021にて発表
  • CSS 優秀論文賞および PWS 優秀論文賞
• Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, & Atsushi Igarashi. (2021). Verification of a Merkle Patricia Tree Library Using F*.
  • arXiv
• 伴野 良太郎「暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証」
  • 卒業論文
  • PDF
• Masayoshi Kubo, Ryotaro Banno, Hidetaka Manabe, & Masataka Minoji. (2019). Implicit Regularization in Over-parameterized Neural Networks.
  • arXiv

ポスターなど（Posters）

• 伴野 良太郎・松岡 航太郎・松本 直樹・Song Bian・和賀 正樹・末永 幸平「完全準同型暗号を用いた秘匿 LTL オンラインモニタリング」
  • 第 16 回 ICT イノベーションにてパネル出展
• 伴野 良太郎・佐藤 聡太・古瀬 淳・末永 幸平・五十嵐 淳「暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証（ポスター）」
  • PPL 2021: 第 23 回プログラミングおよびプログラミング言語ワークショップにてポスター発表

その他活動

• セキュリティ・キャンプ全国大会 2021 オンライン L トラックチューター
• セキュリティ・キャンプ全国大会 2020 オンライン L トラックチューター
• ISUCON10 予選突破（本選 fail）
  • チーム「計算機科学実験及演習 5」
• ISUCON9 予選突破（本戦欠席）
  • チーム「計算機科学実験及演習 3.5」
• Kernel/VM 関西 9 回目 ベストオブ頭おかしい発表
  • 「seccamp2018 でセルフホスト C コンパイラをつくった」
• セキュリティ・キャンプ全国大会 2018 参加
  • 作成物：aqcc
• セキュリティ・ミニキャンプ in 兵庫 2018 参加

作成物一覧

今までに作ったもののうち、本人がそこそこ気に入っているものの一覧。下にあるものほど古い。

• Jitsonnet
  • Jsonnet を Haskell にコンパイルしてから実行する処理系。OCaml 製。公式実装よりも高速に Jsonnet コードを実行できる、場合がある。
• Mahout
  • OCaml で書かれた Mastodon 用の Kubernetes オペレータ。NuSMV でモデル検査済み。
• Qash
  • OCaml で書かれた複式簿記用プログラミング言語 Qash の実装
• Waq
  • OCaml で書かれた ActivityPub サーバの実装。Mastodon や Pleroma と疎通可能。
  • 解説記事書きました
• terminal-libretto
  • ターミナルに打ち込んでいるような動画を簡単に作れるGo製ツール
• AQBoy: Yet Another Game Boy Emulator
  • Go製ゲームボーイエミュレータ
  • aqboy
• daidoquer2
  • Elixir で書かれた Discord 用テキストチャット読み上げ器
• daidoquer
  • F#で書かれた Discord 用テキストチャット読み上げ器
• alqo
  • Erlang/OTP で書かれたアルゴの Web アプリ
• aqTFHE3
  • nindanaoto による seccamp の講義スライドに沿って C++20 で書いた TFHE ライブラリ。
• AQuery
  • Go 言語用 SQL スロークエリーアナライザ
• qlown
  • OCaml で書いた依存型が入った定理検証器。
• damjiro
  • 採点機能付きカラオケ Web アプリ
• KVSP; Kyoto Virtual Secure Platform
  • C プログラムを暗号化したまま動かす。
  • 実行エンジン：Iyokan
  • 独自 ISA 用 LLVM バックエンド：llvm-cahp
• ndarray_hpp
  • C++17 で書かれた型安全 N 次元配列。NumPy で言うところのブロードキャストなどを考慮して行列の演算を行うことができる。誤った操作をしている場合にはコンパイル時にエラーを出す。
• 「サイゼリヤで 1000 円あれば最大何 kcal 摂れるのか」を自作 CPU 上で解いてみた
  • FPGA 上に自作 CPU を構築し、その上で動く ISA 用のコンパイラを作り、その上で「サイゼリヤで 1000 円あれば最大何 kcal 摂れるのか」という問題を解いた。
• tinysixel
  • Sixel を扱うための C++11 用ヘッダオンリーライブラリ
• femtoyaml
  • YAML を扱うための C++用ヘッダオンリーライブラリ
• AQaml
  • セルフホスト OCaml コンパイラ
• aqcc
  • セルフホスト C コンパイラ
• Mio
  • JS製のイントロクイズWebアプリ
• GPA Pokémon
  • GPA Pokémonとは、イキリ大学生の仁義なき戦いである。

PGP public key

英語版の当該節を見てください。