Notices by Masaki Hara (qnighy@qnmd.info), page 8

イノベーター→アーリーアダプター→アーリーマジョリティー→カモ→ペテン師

ちなみにMastodon(vanilla)に流れてくるとサイレントに4枚に削られます
この仕様変わらないかなー

百合の間に挟まっていたら苦しくてエモいものの一覧

@osapon もう移行開始してるんですかねー

misskey ioをPatreonで支援していたら突然返金されたのだが、misskeyioを使っていなくて村上さんのノートが流れてこないのでどういう背景なのか把握できていない

マリオもゼルダも実在人名、言われてみればそうみたいなところがある

最初この記事見たときは、「バージョンが違うからブーメランじゃないとかかな」と思ったけどそんなことなくて普通にブーメランっぽい

ここでの「欽定訳聖書」はKing James version https://www.bbc.com/news/world-us-canada-65794363
モルモン教はそのKing James versionを使っているらしい
https://en.wikipedia.org/wiki/LDS_edition_of_the_Bible

まあなんでラムダって名前なのか疑問に思う人は出るだろうけど、別に見た目にλが出ることは本質ではないだろうし

正確に言うとクロージャという言葉はラムダ抽象の実装詳細の観点からつけられている名前だけど、単に式のことを指してそう呼んでいるのであれば特に違いはない

ラムダ計算におけるラムダ抽象のことをラムダ式と呼ぶ慣習を採用するのであれば、無名関数とクロージャとラムダ式はおよそ同義語ととらえていいかなと思います

pixiv senseiをサクッと一通りやるのを目標にしている。サクッとやった程度で身につくと期待しているわけではないけど、絵を描けるようになるには何が必要かというのはそれである程度わかりそうだなと

昔作ったクイズ

「よくある暗号クイズみたいなのを作ってみたけど意外と解けないらしい　皆さんは解けますか？」

ちなみにBundlerの面白い点としてはgemspecを共通化しつつGemfileを複数置いてそれぞれにlockfileを管理できるので、色々な依存バージョンの組み合わせに対してテストみたいなのがやりやすい

Rubygems/BundlerはPythonの謎エコシステムの100倍くらいましですね

フラットアースでかわいそうな点がひとつあるとすればearthの邦訳が「地球」で定着しちゃっているせいで「地球平面説」とかいうトンチンカンな名前になってしまう点かな。いくら荒唐無稽な説とは言えそこまで派手に自己矛盾した主張ではないと思う (人による)

@cmplstofB a=2mnよりm, nは2冪ですが、m-n=1よりm=2, n=1しかありえません。これは(4, 3, 5)を生成しますがこの組は条件を満たしません。
したがって正割と余割がいずれも10進小数になるような非自明な角度は存在しないかと思います。

@cmplstofB b=(m-n)(m+n) より m-nとm+nは5冪です。もしm-nが5以上ならばm, nともに5の倍数となりますが、これはm, nの取り方に反します。したがってm-n=1です。

@cmplstofB aとbが互いに素であることをからaが2冪でbが5冪、またはその逆とわかります。ここでは前者とします。
このとき原始ピタゴラス数の生成式から (a, b, c) = (2nm, m^2-n^2, m^2+n^2) とあらわせます。 (偶奇性からこの向きで確定する)

@cmplstofB 一般性を失わず (a, b, c) を原始ピタゴラス数ととれます。このときいずれか2つが共通素因数をもつなら残り1つも同じ素因数を持ってしまうため、どの2数も互いに素です。したがってc/a, c/bに対する制約からaとbは素因数として2と5のみを持ちえます。