Portfolio

竹内 歩夢

プログラミング全般、効率を追求することが好きです。

研究領域はコンピューティング・アーキテクチャで、生成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(予定)
  • コンピューティング・アーキテクチャ研究室
  • 競技プログラミングサークル (代表)

香川高等専門学校

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

2022.04 - 2024.03
  • 修了論文: CubeSat用430MHz帯無線通信システムの高速化と自動復号システムの開発
  • 情報システム研究部
  • 卒業後、学位授与機構により学士の学位取得 (専攻は電気電子工学)

香川高等専門学校

本科 電気情報工学科

2017.04 - 2022.03
  • 卒業論文: 2Uキューブサットによる山間および洋上防災データの収集技術実証
  • 情報システム研究部(代表)

研究業績

論文誌

1件の発表
  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.

査読あり

5件の発表
  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.
  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.

査読なし

3件の発表
  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.

職歴

長期インターン

4件のインターン経験

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

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

2025.04 - 2025.09

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

株式会社qia

エンジニア

2025.03 - 2025.10

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

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

リサーチ・アシスタント

Active

2024.10 - 2026.02

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

株式会社Acompany

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

2024.04 - 2025.09

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

短期インターン

7件のインターン経験

  • 株式会社キーエンス エンジニア職

    2025.12(1day)

  • 生駒市立上中学校 出前授業 ティーチング・アシスタント

    2024.12(2days)

  • 奈良学園登美ヶ丘中学校 理科実習 ティーチング・アシスタント

    2024.07(1day)

  • 日本シノプシス合同会社 アプリケーションエンジニア

    2024.09(3days)

  • LINE株式会社 バックエンド/クラウドエンジニア

    2022.09(13days)

  • BIPROGY株式会社 バックエンド

    2022.05(2days)

  • 株式会社jig.jp バックエンド

    2020.09(10days)

コンテスト

プログラミング競技の参加・受賞歴です。

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

5件

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

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

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

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

その他コンテスト

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

表彰・奨学金

学術・活動面での表彰と奨学金の受給実績です。

合計 8件

表彰

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

奨学金

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