探検
「数学」をプログラミングするには
■ このスレッドは過去ログ倉庫に格納されています
36デフォルトの名無しさん
2024/03/19(火) 17:00:04.15ID:WY0TXEXb lean4はプログラミング言語としても、haskellやrustくらいパワフルな言語なので、cだのfortranだの勉強するよりプログラミングの勉強にもなる
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ネット殺到「高市総理の責任」「完全に高市リスク」「高市さん負けるな」中国が水産物輸入停止→流石に総理批判の声も「どう責任取る？」 [樽悶★]
- 高市首相答弁を“引き出した”立民・岡田克也氏が改めて説明「なぜ慎重な答弁をされなかったのか。非常に残念に思っている」 ★10 [ぐれ★]
- 【為替】対ドルで157円台、対ユーロ181円台に下落 財政悪化を警戒 [蚤の市★]
- トランプ氏「台湾侵攻すれば北京爆撃」“過激予告発言”報道がＸで再燃「高市氏の１億倍やばい」 [七波羅探題★]
- フィフィ、中国の“日本産水産物輸入停止”措置に私見「中国依存しないとやっていけない企業は考えを改めて」 [Anonymous★]
- 「母の部屋に安倍氏が表紙の機関誌が」「(安倍氏が被害者なのは)不思議に思いませんでした」山上被告の妹が証言 ★2 [おっさん友の会★]
- 【高市外交】日本の局長が有能だったとの事。わざと困り顔で頭を下げる写真を撮らせ､中国内で好印象も､世界は中国の態度を非難という構図 [219241683]
- 【悲報】倉田真由美「なんで高市は子供がいる家庭に2万円給付するの？子供がいる家庭ばかり優遇するのおかしくね?」 [802034645]
- 関係者「高市首相は円安のデメリットをいまひとつ、わかっていないようだ」 [435756605]
- 中国報道、高市首相を「毒苗」と中傷😡 [399259198]
- 【高市悲報】🇨🇳中国「日本への報復措置？ 他にいくらでも方法はある。 まだまだやめないよ」 😨😱 [485983549]
- 【悲報】新潟県消滅のお知らせ🧸