開催概要

内容

• アドベントカレンダー振り返り
• ほか

秋葉原ロボット部理論グループにて、2025年のQiitaアドベントカレンダーを作りました。 今後、皆さんに執筆いただいた記事を「秋葉サイエンス」として同人誌化し、4月の「技術書典 20」にて発刊を予定しています。 収録の準備として、記事の査読を何回かにわけてオンラインで行います。このほか、今回は技術書典の出展計画の相談なども行う予定です。

日時

2026/04/08(水)20:00-21:00

場所

オンライン会場： Zoom 会場(アドレスはエントリーいただいた時に表示されます。)

主催、協賛、後援

主催 - 秋葉原ロボット部理論グループ

内容 アドベントカレンダー振り返り

「秋葉原ロボット部 理論グループ Advent Calendar 2025」 https://qiita.com/advent-calendar/2025/akbrobot_theory

の振り返り。

• 1日 @daisukeokaoss LinuxのIntel x86のIntrinsic関数をRISC-VやARM用にポートする（12）
• 2日 @katoTeru ガロア理論2
• 3日 @daisukeokaoss ２つの関数が同じ入力なら同じ結果を返すことを保障するテストフレームワーク(4)
• 4日 @daisukeokaoss ２つの関数が同じ入力なら同じ結果を返すことを保障するテストフレームワーク（５）
• 5日 @katoTeru 機械インピーダンス、共役
• 6日 @kau LeanでBell-LaPadulaモデルを触ってみる
• 7日 @osawat 特殊相対性理論と回転
• 8日
• 9日 @nanbuwks
• 10日 @embittt 対称式の基本定理を具体例で計算してみた
• 11日 @osawat 四元数と3次元回転
• 12日 @osawat 大好きな四元数をsympyで実装する
• 13日
• 14日 @osawat 四元数の友達、パウリ行列
• 15日 @embittt 円分多項式を求める手順を考えてみた
• 16日 @nanbuwks ホログラフィック宇宙
• 17日 @YukiSagi FaboのJetracerについて調べて見た
• 18日 @hitbit モノイドの性質を理解するのにAIと定理証明支援系に助けてもらったはなし
• 19日 @gummycandy 意外な場所で活躍する位相空間論
• 20日 @cosmosnori ブラックホールを数式で眺めてみた　その１　（準備編）　サクッと特殊相対性理論と一般相対性理論を概観しよう！
• 21日 @kau
• 22日 @cosmosnori ブラックホールを数式で眺めてみた　その２（前半）　ブラックホールの時空を表す数式の導出をイメージしよう！
• 23日 @cosmosnori ブラックホールを数式で眺めてみた　その３（後半）シュワルツシルト解からブラックホールの驚くべき特徴を見つけよう！
• 24日 @reodon 大学入試問題をleanで解く
• 25日 @rau ゼロから作って仕組みを理解するAIエージェント

参加にあたって

ミーティングソフトを設定してください

今回ミーティングソフトとしてZoomを使います。事前にインストールしておいてください。 ミーティングスペースのアクセス方法はこのページ上部の「参加者への情報」をご覧ください。

お菓子などなど用意！

参加の人はお菓子を食べながらリラックスしながら参加！

ご注意

配信動画は可能なら公開します。顔出しNGの方は申し込み時のアンケートフォームでお申し出ください。

参加資格

ありませんがよろしければ Discord にもご登録ください。

https://discord.gg/bqVJS2S

(あらかじめ、 Discord のアカウントの用意が必要です。)