[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
851: デフォルトの名無しさん [sage] 2025/01/16(木) 18:56:00.70 ID:DBY13IoQ でも役に立たないでしょ 少しは文章読めよガイジ http://mevius.5ch.net/test/read.cgi/tech/1710585705/851
852: デフォルトの名無しさん [sage] 2025/01/16(木) 20:35:27.89 ID:FAOk1woG 型情報からあまり使ったことない関数でも使い方にあたりがつくのは便利だと思うけどお前はそうではないんだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/852
853: デフォルトの名無しさん [sage] 2025/01/16(木) 20:51:11.29 ID:Wo2SWLBc 複素数型も四元数型も定義可能だし、GPUに組み込んで高速で並列演算できるようにしてやれば科学界に革命を起こせるな http://mevius.5ch.net/test/read.cgi/tech/1710585705/853
854: デフォルトの名無しさん [sage] 2025/01/16(木) 21:51:56.76 ID:zFtBKiS0 処理系がcall/ccをサポートすることは、直観主義論理に背理法を加えることに相当する http://mevius.5ch.net/test/read.cgi/tech/1710585705/854
855: デフォルトの名無しさん [sage] 2025/01/16(木) 22:19:04.03 ID:FAOk1woG 研究者の名前がなかなか思い出せなかったがGriffinだな POPL 1990 http://mevius.5ch.net/test/read.cgi/tech/1710585705/855
856: デフォルトの名無しさん [sage] 2025/01/16(木) 22:28:22.29 ID:l7++KB1R イマドキ型のない言語なんて、即席のスクリプトくらいにしか使わんでしょ http://mevius.5ch.net/test/read.cgi/tech/1710585705/856
857: デフォルトの名無しさん [sage] 2025/01/16(木) 22:31:22.46 ID:IceLMl7e 代数的データ型やパラメータ多相を使えばプログラムのかなり多くの性質をコンパイラが保証できるのに、わざわざ型検査なしで注意してコード書くとか馬鹿のすること http://mevius.5ch.net/test/read.cgi/tech/1710585705/857
858: デフォルトの名無しさん [sage] 2025/01/16(木) 22:36:34.50 ID:IceLMl7e 人類未曾有のソフトウェアを書くならともかく、巷のプログラムの9割近くのコードはただデータを整形してマッピングしてるだけ あとの一割は既存のライブラリの呼び出し 現代のプログラミング言語の型システムがあれば、IDEの入力補完に従ってるだけでバグの無いコードが書ける 画面にらみつけてロジック確認なんかしてんのはただのアホ http://mevius.5ch.net/test/read.cgi/tech/1710585705/858
859: デフォルトの名無しさん [sage] 2025/01/16(木) 22:51:04.55 ID:fgdrajER しかし、それができるなら動的型付けの言語でもエディタが構文から型推論すれば同じことができるのでは？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/859
860: デフォルトの名無しさん [sage] 2025/01/16(木) 23:35:14.70 ID:N/7GMQUm ところがどっこい 型注釈無しでは型推論ができない、あるいはエラーにすべきか型チェッカが判定できないケースが存在する まず簡単なのは、ユニオン型だ f:: () -> Int | Str みたいな関数は注釈なしでは、ふたつの箇所で異なる型を返してるのが間違いなのかどうか型チェッカには判定できない パラメータ多相を使う高階関数も型推論が困難だ map :: (a -> b) -> [a] -> [b] これがたとえば二カ所で map :: (Str -> Int) -> [Str] -> [Int] map ::
(Str -> Str) -> [Str] -> [Str] と使われていたら、型チェッカは map :: (Str -> Int|Str) -> [Str] ->[Int]|[Str] だと推論するかも知れない。もしそうなると、 map :: (Str -> Str) -> [Str] -> [Int] という使われ方をしていても、チェックに通ってしまうことになる リフレクションやメタプログラミングをしている場合も勿論、コードだけから型推論するのは困難だ 逆に言えば、このようなケースに適切に型注釈をつければ、その他の部分は推論できるようになるので、生産性が格段に上がる http://mevius.5ch.net/te
st/read.cgi/tech/1710585705/860
861: デフォルトの名無しさん [sage] 2025/01/17(金) 04:10:24.01 ID:VwDpqJJw なんかグダグダ言ってるけどそれ形式論理なしでできるよね この話の発端は形式論理が役に立たないってことであって，型が役に立たないって話じゃないよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/861
862: デフォルトの名無しさん [sage] 2025/01/17(金) 06:49:41.95 ID:b1HMrou3 単純に、お前の話に誰も興味ないから話題が変わっただけでは http://mevius.5ch.net/test/read.cgi/tech/1710585705/862
863: デフォルトの名無しさん [sage] 2025/01/17(金) 09:10:34.70 ID:qO2eRSGs ocamlなんかは型推論の健全性と完全性を備えているから どんな式でも型がつくし、型エラーがでなければ正しいプログラムになるというのが保証されてる 健全性と完全性をどちらか捨てるとしたら完全性なので、そういう言語は型注釈が必要になる http://mevius.5ch.net/test/read.cgi/tech/1710585705/863
864: デフォルトの名無しさん [sage] 2025/01/17(金) 16:31:58.98 ID:tFlne/Xr まぁ形式論理も時相論理もプログラミングには何の恩恵もないわな http://mevius.5ch.net/test/read.cgi/tech/1710585705/864
865: デフォルトの名無しさん [] 2025/01/17(金) 16:59:57.91 ID:GO6/DX25 CSは数学を一部利用するが 数学はCSなんて知らんがな状態 http://mevius.5ch.net/test/read.cgi/tech/1710585705/865
866: デフォルトの名無しさん [sage] 2025/01/17(金) 18:01:24.36 ID:7aS9Z/2O 学問にコンプレックス持ってる人って、みっともないね。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/866
867: デフォルトの名無しさん [sage] 2025/01/17(金) 20:14:27.37 ID:b0CV3tPB >>857 パラメータ多相のジェネリックな型は特に制約を指定しなければ任意の型がOK何でもありだけど 何の型でもありということは使える範囲も極めて狭いというか 言語によってはprintすることすら任意の型が可能派と必ずしも可能とは限らない派もあり曖昧で 何らかの制約を指定しないと何の処理もできないためその型の値をそのまま返すことしかできなくなってしまう つまりジェネリック型パラメータに対する制約記述がカギとなる http://mevius.5ch.net/test/read.
cgi/tech/1710585705/867
868: デフォルトの名無しさん [sage] 2025/01/18(土) 08:09:37.99 ID:eX+b185R >>866 多分コンプレックスとかじゃなくて無駄なものを持ち込まずにシンプルにしておきたいってだけじゃない http://mevius.5ch.net/test/read.cgi/tech/1710585705/868
869: デフォルトの名無しさん [sage] 2025/01/18(土) 08:45:22.05 ID:BE7PGd83 >>865 数学が専門の人がどんどんCSに入ってきて内容が高度化してるって聞いたぞ俺は http://mevius.5ch.net/test/read.cgi/tech/1710585705/869
870: デフォルトの名無しさん [] 2025/01/18(土) 10:15:15.14 ID:ERaUWL8N シンプレックスでコンプレックス http://mevius.5ch.net/test/read.cgi/tech/1710585705/870
871: デフォルトの名無しさん [] 2025/01/18(土) 11:19:59.28 ID:7Jaib8zo なんでコンプレックスの話が出て来てるのかさっぱり判らん >>869 それこそ >>865 の説を補強してるだけじゃないの http://mevius.5ch.net/test/read.cgi/tech/1710585705/871
872: デフォルトの名無しさん [sage] 2025/01/18(土) 11:57:14.53 ID:xEXW43By >>868 イミフ http://mevius.5ch.net/test/read.cgi/tech/1710585705/872
873: デフォルトの名無しさん [sage] 2025/01/18(土) 12:09:19.43 ID:pstj5VhN >>868 数学やCSを持ち込んで対象が複雑になると思ってるのは、 自分が理解できないものにコンプレックス持ってるからだよ 理論を作って対象が複雑になることはあり得ない http://mevius.5ch.net/test/read.cgi/tech/1710585705/873
874: デフォルトの名無しさん [sage] 2025/01/18(土) 12:14:10.21 ID:pstj5VhN >>873 一筆書きして最初の場所に戻ってこられるか、は複雑な問題 グラフのすべての頂点から出ている辺の数が偶数、というのは単純な問題 グラフ理論を持ち込んで問題が複雑になったというのは、 頂点・辺・偶数・奇数などの概念が理解できないから それは数学に対するコンプレックスにほかならない http://mevius.5ch.net/test/read.cgi/tech/1710585705/874
875: デフォルトの名無しさん [sage] 2025/01/18(土) 12:39:38.25 ID:84F6tYk8 >>871 P=NP予想とかCSの問題も数学で扱われてるんだから知らんがな状態ではないと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/875
876: デフォルトの名無しさん [sage] 2025/01/18(土) 15:06:03.89 ID:2/LPmLwt プログラミングに必要な数学は数値計算で使う数学くらいか？ 微積と線形 圏論がプログラミングで無意味なのは誰でもわかるか http://mevius.5ch.net/test/read.cgi/tech/1710585705/876
877: デフォルトの名無しさん [sage] 2025/01/18(土) 15:34:34.81 ID:28NAL8Fg >>876 プログラミングと数学を分けてる時点で、Qiitaのブログのサンプルコピペしてる雑魚と同レベル http://mevius.5ch.net/test/read.cgi/tech/1710585705/877
878: デフォルトの名無しさん [sage] 2025/01/18(土) 15:41:30.33 ID:Zj1ghav+ 反論になってないなぁ http://mevius.5ch.net/test/read.cgi/tech/1710585705/878
879: デフォルトの名無しさん [sage] 2025/01/18(土) 16:26:51.31 ID:xuSYONRy プログラミングに数学はいくらでも使うことができる プログラミングに使う数学とか言ってんのは、ただ単に自分が数学を学びたくないだけ http://mevius.5ch.net/test/read.cgi/tech/1710585705/879
880: デフォルトの名無しさん [sage] 2025/01/19(日) 12:35:56.76 ID:fNMlPpUq Felleisen 30年研究して「プログラミングには型が必要なことがわかった」←これ好き http://mevius.5ch.net/test/read.cgi/tech/1710585705/880
881: デフォルトの名無しさん [sage] 2025/01/20(月) 01:24:19.62 ID:8nHIoBfi 型＝命題 項＝証明 この対応は、通常のプログラミングでも同様 そう思えないってことは、型の使い方が大雑把すぎるってこと http://mevius.5ch.net/test/read.cgi/tech/1710585705/881
882: デフォルトの名無しさん [sage] 2025/01/20(月) 06:41:50.30 ID:qtJTpWnY >>881 お前のソースコード見せてくれよ どんだけ立派なのか拝ませてくれ http://mevius.5ch.net/test/read.cgi/tech/1710585705/882
883: デフォルトの名無しさん [sage] 2025/01/20(月) 08:41:47.10 ID:jEcxLOMX 立派とは？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/883
884: デフォルトの名無しさん [sage] 2025/01/20(月) 08:45:50.71 ID:VdwKz6kz int i=10; char c='a'; printf("%d\n",i+c); こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう http://mevius.5ch.net/test/read.cgi/tech/1710585705/884
885: デフォルトの名無しさん [sage] 2025/01/20(月) 09:06:44.29 ID:3GFrNXKp C/C++の型付けは、メモリをなんぼ確保するかの目印でしかないからな http://mevius.5ch.net/test/read.cgi/tech/1710585705/885
886: デフォルトの名無しさん [sage] 2025/01/23(木) 23:15:16.69 ID:gkeqtoks Rustの型はトレイト属性があって マルチスレッドでも同期が保証される型など 抽象度の高い表現が型システムで扱えるようになってるね それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った http://mevius.5ch.net/test/read.cgi/tech/1710585705/886
887: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:03.61 ID:xJrwwu40 その代わりにmany shared XOR one mutableのキツいルールがあるけどな。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/887
888: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:50.30 ID:wJVzGCxN 自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される という思考に人類は依存しすぎている 半導体は自作できないかもしれないが数学は紙媒体でもできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/888
889: デフォルトの名無しさん [] 2025/01/24(金) 10:45:51.66 ID:QSEbyU6x 正直、Rustに心酔してる奴って、程度が低すぎ・・・ PythonやC#みたいなオモチャと比べたら、たしかにRustはマトモだ だが、しょせんはまだ従来型のプログラミング言語 人間の思考ほどの表現力は無い http://mevius.5ch.net/test/read.cgi/tech/1710585705/889
890: デフォルトの名無しさん [] 2025/01/24(金) 10:51:55.41 ID:QSEbyU6x 言っちゃ悪いが、人間の知能は平等ではない ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる http://mevius.5ch.net/test/read.cgi/tech/1710585705/890
891: デフォルトの名無しさん [] 2025/01/24(金) 11:18:52.70 ID:YFrK1zgU ある人は数論幾何学や場の量子論などがわかるが、ある人は中学校の連立方程式くらいしかわからない 連立方程式が世界で一番高度な学問と感じる人にとって、プログラミン言語はまるで魔法のようなのかも知れない が、数論幾何の水準の人にはプログラミング言語は耐え難いほど低水準だ http://mevius.5ch.net/test/read.cgi/tech/1710585705/891
892: デフォルトの名無しさん [sage] 2025/01/24(金) 11:22:58.16 ID:wJVzGCxN 振舞いを自動化しろと言われるのと判断は人間の責任っていうのは 振舞いと判断を区別すれば矛盾しないんだけど 「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある http://mevius.5ch.net/test/read.cgi/tech/1710585705/892
893: デフォルトの名無しさん [sage] 2025/01/24(金) 22:28:54.69 ID:TVTggs3s >>887 single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール これを守ると参照競合によるバグを防げるだけでなく プログラムのスパゲッティ化を防ぐ効果も高い さらにRustではそこに内部可変性が用意されているため そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/893
894: デフォルトの名無しさん [sage] 2025/01/25(土) 03:45:14.01 ID:LC7IJQQw 構ってもらえる相手を探し求めさまよう某 http://mevius.5ch.net/test/read.cgi/tech/1710585705/894
895: デフォルトの名無しさん [sage] 2025/01/25(土) 10:55:48.38 ID:iLzbIZXE >>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね http://mevius.5ch.net/test/read.cgi/tech/1710585705/895
896: デフォルトの名無しさん [sage] 2025/01/25(土) 11:31:31.34 ID:wB2yLAW7 新商品を作ることにより今後の支障がなくなるといつから錯覚していた http://mevius.5ch.net/test/read.cgi/tech/1710585705/896
897: デフォルトの名無しさん [] 2025/01/25(土) 15:36:14.98 ID:OwaQndIK >>895 すでに表記の体系はある CS畑のやつが処理系を作ればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/897
898: デフォルトの名無しさん [sage] 2025/01/25(土) 17:09:03.97 ID:JNkrrIX3 ここまでWolframの話題なし http://mevius.5ch.net/test/read.cgi/tech/1710585705/898
899: デフォルトの名無しさん [sage] 2025/01/25(土) 17:25:15.44 ID:W3I6NstP rustがどうのとかいってるレベルだからね http://mevius.5ch.net/test/read.cgi/tech/1710585705/899
900: デフォルトの名無しさん [sage] 2025/01/25(土) 20:44:31.67 ID:iLzbIZXE >>897 それはMathematicaじゃダメなん？ 表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの？ CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点 http://mevius.5ch.net/test/read.cgi/tech/1710585705/900
901: デフォルトの名無しさん [] 2025/01/25(土) 22:15:16.23 ID:wEoGbTgh >>900 だめに決まってるじゃん http://mevius.5ch.net/test/read.cgi/tech/1710585705/901
902: デフォルトの名無しさん [] 2025/01/25(土) 22:33:12.05 ID:LqupDpHB >>900 Mathematicaは数式処理システムだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/902
903: デフォルトの名無しさん [sage] 2025/01/25(土) 22:57:41.30 ID:iLzbIZXE 数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの グレブナー基底とかならRisa/Asirとか群論ならgapとか 多分数学の分野ごとにソフトウェアがあるのが現状だと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/903
904: デフォルトの名無しさん [] 2025/01/25(土) 23:20:00.08 ID:T4wakzBv 内容がわからないなら無理に書き込まなくていいのに http://mevius.5ch.net/test/read.cgi/tech/1710585705/904
905: デフォルトの名無しさん [sage] 2025/01/26(日) 01:21:09.90 ID:RxnNQ4s+ 必要なのはドリルではなく穴 記号ではなく意味 と思うじゃん？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/905
906: デフォルトの名無しさん [] 2025/01/26(日) 07:09:22.82 ID:8U3hDZ20 >>903 アホすぎて返す言葉もない http://mevius.5ch.net/test/read.cgi/tech/1710585705/906
907: デフォルトの名無しさん [] 2025/01/26(日) 07:29:10.83 ID:xKZhC4SH ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/907
908: デフォルトの名無しさん [sage] 2025/01/26(日) 15:13:07.48 ID:RxnNQ4s+ 試験はギリギリ解けないレベルまで難化する トーナメントは敗者で埋め尽くされる http://mevius.5ch.net/test/read.cgi/tech/1710585705/908
909: デフォルトの名無しさん [] 2025/01/26(日) 20:27:15.66 ID:m+VDOodg レベル、経験値、ポイント、HP、通貨、メッセージ数、フレンド数 4（死）、13（キリスト教における忌み数字） 18（嫌）、24（〜に死）、34（〜さん死） 40、42、44 56（殺）、64（無視） 71（無い）、74（無し）、79（無く、亡く） 84（〜は死）、94（〜君死）、96（黒） このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。 http://mevius.5ch.net/test/r
ead.cgi/tech/1710585705/909
910: デフォルトの名無しさん [] 2025/01/26(日) 20:55:22.65 ID:BcwcPe/+ ドリル優子が大臣に http://mevius.5ch.net/test/read.cgi/tech/1710585705/910
911: デフォルトの名無しさん [sage] 2025/01/26(日) 22:29:07.43 ID:RxnNQ4s+ 経験的なデータはリセットできるからリセット不可能なものと分断されたり見下されたりする http://mevius.5ch.net/test/read.cgi/tech/1710585705/911
912: デフォルトの名無しさん [] 2025/01/26(日) 22:57:02.10 ID:s+0AyHDZ ごみはしんでもごみ http://mevius.5ch.net/test/read.cgi/tech/1710585705/912
913: デフォルトの名無しさん [] 2025/01/27(月) 08:24:35.73 ID:Lwj4/s6G そう言えばPASCALのスレ無くなってるな (ObjectPASCALやDelphi除く) http://mevius.5ch.net/test/read.cgi/tech/1710585705/913
914: デフォルトの名無しさん [] 2025/01/28(火) 00:55:22.49 ID:IzCMkZvk スレタイ、レス件数、スレ作成日、投稿時刻に4や13、忌み数字を使って嫌がらせするネットストーカー、SNSストーカー業者がキモすぎ 4や13などの忌み数字と以下の情報、ポケベル暗号の数字などを（近い位置の並びで）組み合わせて使われていたら嫌がらせの可能性高し。 ・名前やニックネーム ・生年月日 ・住所、番地 ・車のナンバー ・電話番号やメールアドレス http://mevius.5ch.net/test/read.cgi/tech/1710585705/914
915: デフォルトの名無しさん [] 2025/01/28(火) 00:57:38.03 ID:IzCMkZvk 業者の嫌がらせ数字組み合わせ .204 〜に死 .214 21日生まれ（記念日の人）死 .224 夫婦死 .234 兄さん、爺さん死 .244 西死 .254 事故死、事後死、ニコ死 .264 〜に無視 .274 〜に無し、次男死 .284 〜には死 .294 〜29日生まれ（記念日の人）死 .304 〜さん死 .314 .324 〜さんに死 .334 .344 .354 .364 〜さん無視 .374 〜さん無し .384 〜さんは無し .394 執拗に強調することで精神攻撃になる業者の嫌が
らせ手法がキモい http://mevius.5ch.net/test/read.cgi/tech/1710585705/915
916: デフォルトの名無しさん [] 2025/01/28(火) 06:05:44.47 ID:IzCMkZvk 閲覧171人とか174人、179人、180人、184人 ／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字） 数字操作の嫌がらせがキモすぎ http://mevius.5ch.net/test/read.cgi/tech/1710585705/916
917: デフォルトの名無しさん [] 2025/01/28(火) 10:01:48.23 ID:dqvH8r5C 暗号化技術とガロア体の関係を教えて下さい http://mevius.5ch.net/test/read.cgi/tech/1710585705/917
918: デフォルトの名無しさん [sage] 2025/01/28(火) 15:48:49.65 ID:fgheZtrX >>917 暗号化技術でガロアとの肉体関係 http://mevius.5ch.net/test/read.cgi/tech/1710585705/918
919: デフォルトの名無しさん [] 2025/01/29(水) 21:16:18.67 ID:VEYwrfKC 忌み数字を踏ませる業者、アプリ、コンピュータプログラムの嫌がらせ 動画再生回数、表示回数、登録者数、フォロワー数、評価数、コメント数、レベル、経験値、ポイント、HP、通貨、価格、メッセージ数、通知数、フレンド数 4（死）、13（キリスト教における忌み数字） 18（嫌）、24（〜に死）、34（〜さん死） 40、42、44 56（殺）、64（無視） 71（無い）、74（無し）、79（無く、亡く） 84（〜は死）、94（〜君死）、96（黒） このような
数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/919
920: デフォルトの名無しさん [sage] 2025/01/30(木) 01:47:43.22 ID:pmUo+geg サブタイピングは本当に必要なのか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/920
921: デフォルトの名無しさん [sage] 2025/01/30(木) 06:49:31.93 ID:b37CpeH6 サブタイピングはトポス http://mevius.5ch.net/test/read.cgi/tech/1710585705/921
922: デフォルトの名無しさん [] 2025/01/31(金) 21:06:58.24 ID:SiR55I1h 閲覧171人とか174人、179人、180人、184人 ／総視聴者数 （配信者の名前やID、誕生日などの語呂合わせ数字） 数字操作の嫌がらせがキモすぎ 競合配信者の名前、ポケベル数字、不吉数字の組み合わせ嫌がらせがキモすぎ 忌み数字が表示されやすくなる仕様のクソアプリ、数字操作がキモすぎ http://mevius.5ch.net/test/read.cgi/tech/1710585705/922
923: デフォルトの名無しさん [sage] 2025/02/01(土) 11:40:33.63 ID:sUYLXBXm お薬のもうね 171 いいないい 174 いいな良い 179 いいな休憩 180 飛躍(百) ハッピー 自由(十) 184 飛躍 ハッピー 幸せ http://mevius.5ch.net/test/read.cgi/tech/1710585705/923
924: デフォルトの名無しさん [] 2025/02/02(日) 23:57:45.05 ID:Drgu6Qh4 口コミや地域マップの表示回数やいいね件数、コメント数、フォロワー数、投稿時刻、通知件数、レビュー評価等で、意図的に忌み数字や悪意のあるポケベル暗号数字をしつこく強調する町内会員の嫌がらせがキモすぎ 例 4（死）、13（キリスト教における忌み数字） 18（嫌）、24（〜に死）、34（〜さん死） 40、42、44 56（殺）、64（無視） 71（無い）、74（無し）、79（無く、亡く） 84（〜は死）、94（〜君死）、96（黒） 忌み数字や不吉を連
想させる数字が表示されやすくなるウイルスを業者が仕込んでるっていうね。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/924
925: デフォルトの名無しさん [sage] 2025/02/03(月) 11:27:08.47 ID:WyTS2dKB お薬のもうね http://mevius.5ch.net/test/read.cgi/tech/1710585705/925
926: デフォルトの名無しさん [] 2025/02/03(月) 12:07:03.75 ID:wBItYUjQ 3が付くときと3の倍数でアホになる http://mevius.5ch.net/test/read.cgi/tech/1710585705/926
927: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:17.64 ID:D+cWD+hu 無から有は生じない http://mevius.5ch.net/test/read.cgi/tech/1710585705/927
928: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:31.17 ID:D+cWD+hu 型はクライスリ圏の対象 http://mevius.5ch.net/test/read.cgi/tech/1710585705/928
929: デフォルトの名無しさん [sage] 2025/02/03(月) 17:59:07.77 ID:D+cWD+hu 極限は普遍性 普遍性は表現 すべてはカン拡張 http://mevius.5ch.net/test/read.cgi/tech/1710585705/929
930: デフォルトの名無しさん [sage] 2025/02/03(月) 19:18:40.28 ID:zeOU8J2H スケッチ→スキャッフォルド→スキーマ これが数学的プログラミングの骨格 http://mevius.5ch.net/test/read.cgi/tech/1710585705/930
931: デフォルトの名無しさん [sage] 2025/02/03(月) 21:26:57.77 ID:lZjIFBNe とりあえずフロントエンドは度外視 あれはJSで動かせるただのオモチャ http://mevius.5ch.net/test/read.cgi/tech/1710585705/931
932: デフォルトの名無しさん [sage] 2025/02/03(月) 23:48:49.59 ID:XBLKOMOL 仕様記述言語というのがあってだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/932
933: デフォルトの名無しさん [sage] 2025/02/04(火) 02:03:30.03 ID:axINJClc 装飾と結合 http://mevius.5ch.net/test/read.cgi/tech/1710585705/933
934: デフォルトの名無しさん [sage] 2025/02/04(火) 03:58:03.13 ID:Mw0YRrvx モナド 再帰と不動点コンビネータ 継続と背理法 http://mevius.5ch.net/test/read.cgi/tech/1710585705/934
935: デフォルトの名無しさん [] 2025/02/04(火) 12:25:57.48 ID:AbihjpY6 BNF http://mevius.5ch.net/test/read.cgi/tech/1710585705/935
936: デフォルトの名無しさん [sage] 2025/02/04(火) 15:34:32.31 ID:uhr4OKyS 普遍性は不動点である http://mevius.5ch.net/test/read.cgi/tech/1710585705/936
937: デフォルトの名無しさん [sage] 2025/02/04(火) 20:57:39.48 ID:Oeo4Jry5 Wolfram Languageの使い方を聞きに来たんだが 新しくスレ立てた方がよい？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/937
938: デフォルトの名無しさん [sage] 2025/02/04(火) 21:27:36.82 ID:Es9g2xhz そうだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/938
939: デフォルトの名無しさん [sage] 2025/02/04(火) 21:28:19.56 ID:kCOYqPIc 存在は普遍性 普遍性は極限 極限は不動点 つまり、存在は不動点 http://mevius.5ch.net/test/read.cgi/tech/1710585705/939
940: デフォルトの名無しさん [sage] 2025/02/05(水) 02:27:52.17 ID:yJbYA8kV 場の臨界点 http://mevius.5ch.net/test/read.cgi/tech/1710585705/940
941: デフォルトの名無しさん [sage] 2025/02/05(水) 02:28:44.71 ID:95a7ceRY 局所大域原理 http://mevius.5ch.net/test/read.cgi/tech/1710585705/941
942: デフォルトの名無しさん [] 2025/02/05(水) 14:45:57.05 ID:RWIQAOlp ゲスの極値乙女 http://mevius.5ch.net/test/read.cgi/tech/1710585705/942
943: デフォルトの名無しさん [sage] 2025/02/05(水) 23:44:40.38 ID:IbLGMnEN カタリロン http://mevius.5ch.net/test/read.cgi/tech/1710585705/943
944: デフォルトの名無しさん [sage] 2025/02/06(木) 07:56:01.83 ID:2B877/qC 米田埋込み http://mevius.5ch.net/test/read.cgi/tech/1710585705/944
945: デフォルトの名無しさん [sage] 2025/02/06(木) 10:34:59.56 ID:06aICcsP >>944 事件かな？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/945
946: デフォルトの名無しさん [sage] 2025/02/06(木) 21:00:15.76 ID:75UI+75Y コンパイラを書け http://mevius.5ch.net/test/read.cgi/tech/1710585705/946
947: デフォルトの名無しさん [sage] 2025/02/06(木) 21:04:29.07 ID:guqgasQB 継続指向言語 モナド指向言語 http://mevius.5ch.net/test/read.cgi/tech/1710585705/947
948: デフォルトの名無しさん [sage] 2025/02/06(木) 22:34:55.78 ID:m0cItbCE ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/948
949: デフォルトの名無しさん [sage] 2025/02/06(木) 23:10:35.99 ID:hwCUy5RI 全部記述って何？w http://mevius.5ch.net/test/read.cgi/tech/1710585705/949
950: デフォルトの名無しさん [sage] 2025/02/06(木) 23:14:20.21 ID:m0cItbCE >>949 ゲーテルの不完全性定理って知ってる？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/950
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 52 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s