竹内 歩夢 (Ayumu Takeuchi)

情報科学領域 博士前期課程 / コンピューティング・アーキテクチャ

プログラミング全般、効率を追求することが好きです。 研究領域はコンピューティング・アーキテクチャで、生成AIをハードウェアアクセラレータで高速化することで、低消費電力で効率よく動かすことに興味があります。特に、CGRAなどのハードウェア上で、できるだけ近似手法に頼らず精度を保ちつつ、Transformer周りの演算をどこまで高速・省電力にできるかをテーマに研究しています。 プログラミングは特に、アルゴリズム設計と組み込み開発が得意です。Web開発、サーバー構築、ゲーム開発などにも一通り触れてきました。アルゴリズム設計、Webバックエンド、クラウドインフラは業務としての開発経験があります。最近はサーバーやネットワークにも興味があり、家でProxmoxクラスターを構築・運用しています。 過去には競技プログラミングに取り組んでおり、AtCoderではAlgorithmで青 (上位約3%) 、Heuristicで水 (上位約17%) でした。様々な大会に出場経験があります (詳しくはコンテスト欄参照) 。 特技はタイピングとMinesweeperです。寿司打の自己ベストは平均7.5key/sで25220円 (55位/10000人) 、e-typingの腕試し自己ベストは523.9WPM (8.7key/s相当) で496ptです。Minesweeper Onlineというサイトでは、2025年11月時点でサイト内ランキングの上位0.09%に入っています。

学歴

奈良先端科学技術大学院大学

先端科学技術研究科 情報科学領域 博士後期課程

2026/04(予定) -
  • コンピューティング・アーキテクチャ研究室

奈良先端科学技術大学院大学

先端科学技術研究科 情報科学領域 博士前期課程

2024/04 - 2026/03(予定)
  • 修了論文: Implementation and Evaluation of Quantization-Free Attention Computation on a CGLA Accelerator
  • コンピューティング・アーキテクチャ研究室
  • 競技プログラミングサークル (代表)

香川高等専門学校

専攻科 創造工学専攻 電気情報工学コース

2022/04 - 2024/03
  • 修了論文: Development of a faster 430MHz-band radio communication system for CubeSats and an automatic decoding system
  • 情報システム研究部
  • 卒業後、学位授与機構により学士の学位取得 (専攻は電気電子工学)

香川高等専門学校

本科 電気情報工学科

2017/04 - 2022/03
  • 卒業論文: Demonstration of data collection technology for mountain and offshore disaster prevention using 2U CubeSat
  • 情報システム研究部(代表)

インターン・アルバイト

長期

奈良先端科学技術大学院大学

ティーチング・アシスタント

2025/04 - 2025/09
  • 情報理工学序論、高性能計算基盤の授業を担当

株式会社qia

エンジニア

2025/03 - 2025/10
  • Unityでの地形生成アルゴリズムの実装
  • Minecraft環境を用いた強化学習モデルの性能検証・シミュレーション
PythonTypeScriptUnityAWS

奈良先端科学技術大学院大学

リサーチ・アシスタント

2024/10 - 2026/02
  • 大規模言語モデルアクセラレータの開発と評価
  • CGLAアクセラレータのソフトウェア研究開発
CPythonFPGA

株式会社Acompany

コンフィデンシャルコンピューティング基盤部

2024/04 - 2025/09
  • 暗号化アルゴリズムの実装
  • 暗号化アルゴリズムの省メモリ化
  • GitHub Actionsを用いたCI/CDの構築
C++PythonAzureGitHub Actions

短期

株式会社キーエンス

エンジニア職

2025/12 (1 day)

生駒市立上中学校

出前授業 ティーチング・アシスタント

2024/12 (2 days)

奈良学園登美ヶ丘中学校

理科実習 ティーチング・アシスタント

2024/07 (1 day)

日本シノプシス合同会社

アプリケーションエンジニア

2024/09 (3 days)

LINE株式会社

バックエンド/クラウドエンジニア

2022/09 (13 days)

BIPROGY株式会社

バックエンド

2022/05 (2 days)

株式会社jig.jp

バックエンド

2020/09 (10 days)

研究業績

論文誌

  1. Takuto Ando, Yu Eto, Ayumu Takeuchi, Yasuhiko Nakashima, "Efficient Kernel Mapping and Comprehensive System Evaluation of LLM Acceleration on a CGLA," IEEE Access, Nov 2025.

査読あり

  1. Takuto Ando, Yu Eto, Ayumu Takeuchi, Yasuhiko Nakashima, "Energy-Efficient Hardware Acceleration of Whisper ASR on a CGLA," International Symposium on Computing and Networking (CANDAR), Nov 2025. Best Paper Award

  2. Ayumu Takeuchi, Yasuhiko Nakashima, "Power Efficient Attention Acceleration on CGLA," 38th IEEE International System-on-Chip Conference (SOCC), Sep 2025. Selected for Student Paper Contest

  3. Ayumu Takeuchi, Yu Eto, Takuto Ando, Yasuhiko Nakashima, "Energy-Efficient FlashAttention Acceleration on CGLA," 38th IEEE International System-on-Chip Conference (SOCC), Sep 2025.

  4. Takuto Ando, Yu Eto, Ayumu Takeuchi, Yasuhiko Nakashima, "Energy-Efficient Llama3 Acceleration on a CGLA by Offloading Computational Kernels," 38th IEEE International System-on-Chip Conference (SOCC), Sep 2025.

  5. Yu Eto, Takuto Ando, Ayumu Takeuchi, Yasuhiko Nakashima, "LLM Performance Bottlenecks on CGLA," 38th IEEE International System-on-Chip Conference (SOCC), Sep 2025.

査読なし

  1. Ayumu Takeuchi, Yukikazu Murakami, Kazumasa Imai, Masafumi Imai, Masahiro Tokumitsu, Tatsumi Tsutsui, Miyu Kawai, "Packet transmission experiment in the 430 MHz band using the KOSEN-1 satellite," 8th STI-Gigaku 2023, Nov 2023.

  2. 竹内歩夢, 村上幸一, 筒井巽水, 末本旭, "CubeSat用430MHz帯無線通信システム向け9600bpsアップリンクTNCの開発," 第67回宇宙科学技術連合講演会, Oct 2023.

  3. 竹内歩夢, 河井弥佑, 筒井巽水, 村上幸一, 前田恵介, 今井一雅, 徳光政弘, 奥平修, 須藤路真, 矢津秀和, 田代和也, 加賀遼一朗, 秋山演亮, "バルーンサットを用いたKOSEN-2衛星のための遠距離通信実験," 第66回宇宙科学技術連合講演会, Nov 2022.

コンテスト

国際大学対抗プログラミングコンテスト (ICPC)

ICPCは、同じ大学で3人1組のチームを作り、チームでプログラミングと問題解決の能力を競う大会です。全世界で毎年3万人以上が参加する世界最大規模の競技プログラミングの大会です。

2024-2025 国内予選 70th / 363 teams → Asia Yokohama Regional 44th / 55 teams 👥 3人
2023-2024 国内予選 38th / 301 teams → Asia Yokohama Regional 57th / 58 teams 👥 3人
2022-2023 国内予選 94th / 298 teams 👥 3人
2021-2022 国内予選 59th / 275 teams → Asia Yokohama Regional 34th / 40 teams 👥 3人
2020-2021 国内予選 111th / 297 teams 👥 3人

全国高等専門学校プログラミングコンテスト

2023 第34回 競技部門 全国大会出場 👥 3人
2022 第33回 競技部門 全国大会出場 👥 3人
2021 第32回 競技部門 全国大会出場 特別賞 👥 3人
2020 第31回 自由部門 予選出場 👥 5人
2019 第30回 競技部門 全国大会出場 👥 3人
2018 第29回 競技アイデア部門 全国大会出場 👥 3人

その他コンテスト

2024 天下一 Game Battle Contest 2024 8位 👥 1人
2023 第45回 四国地区高専総合文化祭 ミニプロコン 優勝 👥 3人
2021 第43回 四国地区高専総合文化祭 ミニプロコン 優勝 👥 3人
2019 第41回 四国地区高専総合文化祭 ミニプロコン 準優勝 👥 3人
2019 パソコン甲子園2019 予選 → 本戦出場 21位 👥 2人
2018 第18回 情報オリンピック 予選 敢闘賞 👥 1人
2018 パソコン甲子園2018 予選出場 👥 2人
2017 第17回 情報オリンピック 予選 敢闘賞 👥 1人

表彰・奨学金

受賞実績

2024/03 香川高等専門学校 校長賞 👥 1人
2024/03 香川高等専門学校 功労賞 👥 1人
2024/03 香川高等専門学校 奨励賞 👥 3人
2023/03 香川高等専門学校 特別賞 👥 1人
2023/03 香川高等専門学校 奨励賞 👥 2人
2022/04 WirelessIoTコンテスト2021 スペースレジリエンス大賞 👥 5+人
2022/03 香川高等専門学校 奨励賞 👥 3人
2022/01 第1回全国高専宇宙コンテスト 奨励賞 👥 1人
2020/03 香川高等専門学校 奨励賞 👥 2人

奨学金

2025 アイコム電子通信工学振興財団奨学金 👥 1人
2023 三和電業グループ奨学基金奨学金 👥 1人