ログイン
会員登録
学問
3
本
かつて学んできた事を20数年前の記憶と最新の技術を駆使してなんとなく解説出来る部分を解説していく
フォローする
運営しているクリエイター
R.bear
記事
月別
ハッシュタグ
フォローしませんか?
フォローする
シェア
引用して記事を書く
記事一覧
文系理系問わず数学お勧めサイト
前回の証明問題はグーグルバード(現:Gemini)での証明だったが、学術系動画を眺めているととあ…
R.bear
3か月前
自作PCでベンチマーク自慢&科学計算システムに貢献するという意味で久しぶりにBONICに参加する。メインPCと平日日中稼働の超低電圧CPUで計算をさせる。UDでは白血病解析に貢献していた自分ではあるが、いまは癌のマーキング技術等微妙に方向性が変わってきているものの面白い試みである
R.bear
4か月前
1
学術記事:アロウの一般不可逆性定理の証明をcoq、C言語で行う場合
20数年前の学生時代、自らこれを研究テーマにしておきながら研究を行えず結果を残せなかったテ…
R.bear
10か月前