数学・科学・工学に関連する話題を提供している人のためのブロググループです。
はてなブログを持っていれば、誰でも参加できます。
Lean言語・形式証明系の普及を進めておられる北窓さんが執筆された本： ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発 を購入して読み進めています。 扱っている言語はLean4です。Lean4は多くの数学者にも使われ始めているのですが、今までにまとまった本はなく、公式サイトで配布されている資料や有識者の方が書いた資料をベースに勉強を進めるのが今までの学習方法でした。本書…
preprint を載せられるサイトのviXraに投稿しました。22ページの論文で、このブログで展開してきた0除算定義の不可能性を示す証明の誤りから、0除算の適用例と0除算算法の適用例を述べています。以下からダウンロードできます。 vixra.org Euの西側や、英米の数学会はおかしなところがありまして、0除算を含む論文を投稿すると、一切検討することもなく、0除算は扱いませんと返してきます。まる…
Claude Codeカスタムスラッシュコマンドで自動git commitすると便利だよという紹介です。 はじめに Claude Codeカスタムスラッシュコマンドで自動git commitする やり方 具体例 おわりに 参考 はじめに git commitメッセージは重要であると同時に、考えるのにワンテンポ要する作業でもあります。 Claude Codeカスタムスラッシュコマンドを活用することで…
私が書いた数学オリンピック関係の記事をまとめてみました！ 是非読んでみてください！ 数学オリンピックの類題解説シリーズ↓ 数学オリンピック予選体験記（２０２５年１月） 自作の問題↓ 他にも受験数学や数学フリップネタなどの記事も書いているので是非読んでみてください！ ↓のボタンから読者になる(無料)ことで私の記事が新たに投稿されているか確認しやすくなります！ おすすめの記事です↓ ランキング参加中な…
前回、SO(3)同変な関数を考えるための数学的基礎として、球面調和関数を用いた関数の展開とClebsch-Gordan係数による次元の変換を扱いました。cake-by-the-river.hatenablog.jp今回は、これらを陽に用いた機械学習フレームワークとして、SE(3)-Transformers の理解を目指します。 Tensor Field Networks pointwise con…
「手を動かしてまなぶ基礎数学」で高校数学+αを学んでみようと決めたのですが、「手を動かしてまなぶ〜」は一応大学数学のやり方で書かれた本なので果たしてこのままで読めるのか。読むにしてもどこを気にしながら読んだらいいのか。そういうことが気になって下記の「数学書の読み方」も買ってみました。数学書の読みかた作者:竹山美宏森北出版Amazonぶっちゃけると「手を動かしてまなぶ〜」を先に少しチラ見してみて、こ…
簡単な自己紹介 はじめて記事を書くので簡単な自己紹介をしておこう. 私は京都の大学に4年間通っており, 物理学の勉強をしてきたが, ある時期に数理物理(高級な数学を用いた物理学の問題へのアプローチ)に興味を持つようになり, 来年(2026年)以降からは京都の数学の院に進学することが決まった. 専門は解析学で, その中でも特に"soft analysis" とよばれる類のものである, とここでは誤魔…
ほぼ10ヶ月ぶりの更新情報。と言っても放置していたわけではなく、Gnuplotライブラリを取り込んで整備するなど数多くの変更を行っていた。Gnuplotライブラリの詳細は別記事で投稿済みなので省略するとして、それ以外の追加機能に関するまとめである。そろそろ記事にしておかないと自分自身が忘れてしまいそうなので、備忘録を兼ねて。 ADAPTについての説明はこちらへ。 ADAPTのGitHubリポジトリ…
猛暑の中、家族で鈴鹿サーキットパークへ小旅行に行ってきました！嫁の父の車で移動できたおかげで、快適に到着。向こうの家族はレース好きでよく訪れているそうですが、僕にとっては今回が初めての鈴鹿サーキット体験です。 鈴鹿サーキットってこんなところ 【1日目】プールで大はしゃぎ！「アクア・アドベンチャー」 【夕食】ホテルのビュッフェが最高！ 【2日目の朝】ちゃんと写真撮りました！ 【2日目】遊園地「鈴鹿サ…
Twitter高画質動画アップロード最適化ツール Twitter高画質動画アップロード最適化ツール 動画ファイルをドラッグ&ドロップ、または選択: メタデータ分析 ※ ファイルを選択すると自動で解析されます。 最適化設定プリセット 高画質（推奨） 標準 軽量 プリセットを選ぶと自動でパラメーターがセットされます。 カスタム調整 解像度: 1280x720 ビットレート: 2,500kbps フレー…
次のページ
