秋葉原ロボット部
STEAM、教育、メイカーズやライフハック、ものづくりビジネスの活動をしています。毎月の勉強会をしています。遊びに来てください！
- Posts242posts
- Likes1130likes
- Followers161followers
２つの関数が同じ入力なら同じ結果を返すことを保障するテストフレームワーク（６）
２つの関数が同じ入力なら同じ結果を返すことを保障するテストフレームワーク（５）
２つの関数が同じ入力なら同じ結果を返すことを保障するテストフレームワーク(4)
FreeCAD1.0.0で、3Dデータを2次元図面に落とすことに挑戦してみました～寸法入力編～
情報処理技術者試験完全合格ガイド
FreeCAD1.0.0で、3Dデータを2次元図面に落とすことに挑戦してみました～3Dデータの2次元図面への落とし込み編～
ブラックホールを数式で眺めてみた その３（後半）シュワルツシルト解からブラックホールの驚くべき特徴を見つけよう！
ブラックホールを数式で眺めてみた その２（前半） ブラックホールの時空を表す数式の導出をイメージしよう！
ブラックホールを数式で眺めてみた その１ （準備編） サクッと特殊相対性理論と一般相対性理論を概観しよう！
意外な場所で活躍する位相空間論
モノイドの性質を理解するのにAIと定理証明支援系に助けてもらったはなし
２つの関数が同じ入力なら同じ結果を返すことを保障するテストフレームワーク(3)
ダンボール製ペンプロッタ ver. 02
四元数の友達、パウリ行列
LeanでBell-LaPadulaモデルを触ってみる
大好きな四元数をsympyで実装する
ダンボール製スピログラフを作った話
2025年宇宙栽培ロボット試行の軌跡