orange @[email protected]

たとえば、　ベンダーユニークな仕様変更は認めず、変更は必ず参加者で話し合って決めて、そして決定された場合は提案者以外も迅速に実装する　のであれば将来もポータビリティーが維持されるだろうけど＞＜

今一瞬だけ統一しても、声明文？によると、ベンダー各々が改良のために互換性を壊すことはバランスをとった上でといいつつも認めるんでしょ？＞＜
ということはそのポータビリティーが機能するのはごく短期間で、その後はまた互換性がない時代に戻って互換性がない状況が続くんでは？＞＜

どうせすぐバラバラに好き勝手な仕様に変えるなら、統一なんてしなくていいじゃん＞＜

そもそも時間方向の一貫性が無い連中が集まって一貫性があるものが作れるわけ無い＞＜
Autonomyの節を読む限り、結局そのままで動くような事にはならず移植が前よりちょっと楽になる程度が短期間維持される程度でしょ＞＜

スーパーはぼきブーム(？(単なる日本直販の広告連発？＞＜；))がいつだったのか、なんかググっても1980年代としか出てこない・・・＞＜

なんかそれ、世紀の大発明的に扱われてた記憶ある＞＜

よくわかんないけどたぶんこの 閏年を論理演算を使わずに判定するやつは、一般的な(？)数式では書けないっぽい？＞＜
https://mstdn.nere9.help/@orange_in_space/103587434690012918

剰余演算 普段からほいほい使う方が便利じゃん？＞＜
なんで数学(？)数式(？)では気軽にほいほい使えるようになってないっぽいのか＞＜

数式で剰余演算の記号って無いのかな？＞＜　と思ってググったらよくわかんないけどプログラミングで剰余演算を多用してるような感じでは数学の数式では使えないっぽい？＞＜；
で、代わりに(？)合同式なるものが出てきて、遠回りすぎて数学さらに嫌いになった＞＜

つまり、"「素数に一般項はない！」"という誤った主張をひっくり返すのに、『n番目の素数を返すコンピュータープログラム』がひとつでもあればそれでひっくり返せるのか、それとも一般項って言葉ってなんかもっと難しい意味があるのか？＞＜；

数学苦手すぎてよくわかんないけど、「hogehogeを表せる一般項が無い」って、一般的なプログラミング言語(CとかPascalとかJavaとか)で(数値表現やメモリの限界を無視して考えて)、n番目のhogehogeを求める関数を書くことが出来ないのと同じ事になるのかな？＞＜
つまり、プログラミング言語よりも数式(？＞＜；)の方が制限が大きいのかそれとも大きくない(緩い)のか＞＜

数学苦手すぎてその誤った主張自体はじめて聞いた＞＜；

数学を愛する会さん（@.mathlava）のツイート 数学を愛する会（@.mathlava）さんがツイートしました: 「素数に一般項はない！」
と主張する人をまれに見かけますが、それは嘘です。
画像の式に好きな整数nを代入すると、n番目の素数が得られます。 https://t.co/GF6hCJDVuF https://twitter.com/mathlava/status/1401490215454269444?s=20