マガジンのカバー画像

学問

3

本

かつて学んできた事を20数年前の記憶と最新の技術を駆使してなんとなく解説出来る部分を解説していく

運営しているクリエイター: R.bear

文系理系問わず数学お勧めサイト

前回の証明問題はグーグルバード(現：Gemini)での証明だったが、学術系動画を眺めているととあ…

17時間前

自作PCでベンチマーク自慢＆科学計算システムに貢献するという意味で久しぶりにBONICに参加する。メインPCと平日日中稼働の超低電圧CPUで計算をさせる。UDでは白血病解析に貢献していた自分ではあるが、いまは癌のマーキング技術等微妙に方向性が変わってきているものの面白い試みである

3週間前

1

学術記事：アロウの一般不可逆性定理の証明をcoq、C言語で行う場合

20数年前の学生時代、自らこれを研究テーマにしておきながら研究を行えず結果を残せなかったテ…

6か月前