$\mathscr{N}_{yoho}$ @Nyoho@mathtod.online
- Favorites
- https://nyoho.jp
- Podcast
- https://washipo.nyoho.jp
Admin
I'm hungry, and I'm foolish. Thank you for your loving mathematics. / Mathtodon はわしが育てた
Joined Apr 2017
$\mathscr{N}_{yoho}$
boosted
正接から四分角の正接を計算するプログラムを5通りに書いて見ました。要するに $f(t)=\tan((1/4)\arctan t)$ の実装です。
1. 標準ライブラリのtanとatanを使って実装
2. $f$のマクローリン展開を実装
3. 余接の半角公式 $\cot(\theta/2)=\cot\theta+\sqrt{1+\cot^2\theta}$ を二回適用して実装
4. 正接の4倍角公式 $\tan4A=\dfrac{4\tan A-4\tan^3A}{\tan^4A-6\tan^2A+1}$ に二分法を適用して実装
5. 正接の4倍角公式にニュートン法を適用して実装
二分法以外はそこそこ速いプログラムになりました。
$\mathscr{N}_{yoho}$
boosted
マヤノTop Gun…
マヤノ位相群…？
$\mathscr{N}_{yoho}$
boosted
岩波数学入門辞典購入してからあんまり知らない数学分野に対するフットワークが明らかに軽くなった。
$\mathscr{N}_{yoho}$
boosted
ロビンソンの$\mathbf{Q}$については、$\forall m\forall n[\mathbf{Q}\vdash\bar{m}\bar{n}=\bar{n}\bar{m}]$ だが $\mathbf{Q}\not\vdash\forall x\forall y\:xy=yx$ です。
Wikipediaのこの記事からは、ロビンソン算術で可換性についてのことはよくわからなかった。
へえ〜ロビンソン算術というのがあるのか
> 数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいは $\mathbf{Q}$ とはペアノ算術($\mathbf{PA}$)の有限部分理論であり、Robinson (1950)において最初に導入された。$\mathbf{Q}$は本質的には$\mathbf{PA}$から帰納法の公理図式を取り除いたものである。それゆえ$\mathbf{Q}$は$\mathbf{PA}$よりも弱いが同一の言語を持つ不完全な理論である。$\mathbf{Q}$は重要かつ興味深い対象である。というのも$\mathbf{Q}$は本質的決定不能かつ有限公理化可能な$\mathbf{PA}$の部分理論だからである。
ロビンソン算術 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%93%E3%83%B3%E3%82%BD%E3%83%B3%E7%AE%97%E8%A1%93
二重根号力士像だったら面白いですね
$\mathscr{N}_{yoho}$
boosted
Mathtodonのドメインを更新した。
$\mathscr{N}_{yoho}$
boosted
庵野秀明脚本・監督
\[
\huge \text{シソ}\cdot\text{ドレッシング}
\]
庵野秀明脚本・監督
\[
\Huge シン \cdot 経回路網
\]
庵野秀明脚本・監督
\[
\huge シン \cdot プレクティック幾何学
\]
庵野秀明脚本・監督
\[
\huge \text{シン}\cdot\text{部分集合}
\]
\[
\huge A\subsetneq B
\]
庵野秀明脚本・監督
\[
\huge \text{シン}\cdot\text{部分集合}
\]
$\mathscr{N}_{yoho}$
boosted
シンポテトのシンって「薄い」の”thin”だったのね
てっきり「新」かもしくは庵野監督が監修でもしてるのかと…
食べちゃダメだ食べちゃダメだ食べちゃダメだ
フロベニウス大好きっ子です。
非分離拡大最高じゃん
- Favorites
- https://nyoho.jp
- Podcast
- https://washipo.nyoho.jp
Admin
I'm hungry, and I'm foolish. Thank you for your loving mathematics. / Mathtodon はわしが育てた
Joined Apr 2017
