[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
210: デフォルトの名無しさん [sage] 2024/04/03(水) 22:03:54.94 ID:7VXOaRQB(1) AAS
プログラムってバカでもできるけど、間違いを指摘されて認めることもできないキチガイは入り口にも入ってこれてないよ
5chに書き込む前に早めに病院行ってお薬もらってきた方がいい
270(1): デフォルトの名無しさん [] 2024/04/14(日) 09:53:29.94 ID:7cEDLG0F(2/2) AAS
>>267
267(1): デフォルトの名無しさん [] 2024/04/14(日) 08:23:12.49 ID:ZXz6cRZI(1/2) AAS
>>265
うんうん。
罵られるのは甘んじて受け入れるので、解決したところのアンカー(>数字)を教えてください。
>>2
2(2): デフォルトの名無しさん [sage] 2024/03/16(土) 20:29:40.05 ID:TBzj9DHS(1) AAS
>>1
証明を記述するための言語がある。CoqとかAgdaとか
あと単発質問はスレを立てるまでもない質問スレでどうぞ
379: デフォルトの名無しさん [] 2024/04/17(水) 05:34:52.94 ID:riJpNYPi(2/2) AAS
発露
583: デフォルトの名無しさん [sage] 2024/11/04(月) 20:17:23.94 ID:rgFUj3k3(1/2) AAS
それより「表示的意味論」てう用語は全角漢字6文字で長いから
君のその文章の中に頻繁に出てくるソレが読んでる間にゲシュタルト崩壊して頭に入ってこないんだよね
これは日本語で専門分野の説明をする際の難しさの一因になってると思う
英語だとDenotational SemanticsらしいからDSでいいんじゃないかね
607: デフォルトの名無しさん [sage] 2024/11/12(火) 18:53:59.94 ID:XP7honYa(1/2) AAS
>>606
606(1): デフォルトの名無しさん [sage] 2024/11/12(火) 18:26:13.57 ID:CKJ1cusC(3/7) AAS
どうせコンピュータの仕組み、どう動くか分からん素人のポエムだろ
コンピュータの仕組みとこの話がどう関係すんの？
797: デフォルトの名無しさん [] 2025/01/09(木) 12:47:55.94 ID:iZ6OsWgm(1) AAS
炎上商売にエンジョイ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s