0099それでも動く名無し
2023/04/03(月) 17:33:49.22ID:973/WW1A0CoqとAgdaという産業用途でも一応ほそぼそと使われてる定理証明系があるけどあれは夫婦が別々に開発してるんだよな
主観やけどAgdaのほうが筋がええと思うわ
有識者「コンピュータ分野は女性が主軸だったのに男性に奪われた」
■ このスレッドは過去ログ倉庫に格納されています
CoqとAgdaという産業用途でも一応ほそぼそと使われてる定理証明系があるけどあれは夫婦が別々に開発してるんだよな
主観やけどAgdaのほうが筋がええと思うわ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【衆院選】萩生田光一候補「大変ですよ、非公認って。『やっぱり悪い人なんだ』ってダメ出しされたような印象を与えられてしまう」 [Hitzeschleier★]
- 「自民以外に投票すれば高市政権が誕生」この当然すぎるロジックを必死で否定「悪質なプロパガンダに騙されるな」 [パンナ・コッタ★]
- 【独自】千葉の女性連れ去り事件で逮捕された男 横浜の強盗殺人事件の現場からも指紋検出 [Hitzeschleier★]
- 【千葉】新たに男1人が出頭 市川市の窃盗事件 未明に神奈川県内の警察署に [牛乳トースト★]
- 【北海道】小3男子がズボンを脱がされ「お尻の穴にチンチンを」と…母親が語る“加害者の母親”へのいらだちと、悲しすぎる後遺症とは [おっさん友の会★]
- 生活必需品に節約の波「6〜8月スーパー2割減益」スーパーやコンビニエンスストアの業績が悪化★３ [Gecko★]
- ナ・リーグ優勝決定シリーズ LAD @ NYM ★21
- ナ・リーグ優勝決定シリーズ LAD @ NYM ★20
- ナ・リーグ優勝決定シリーズ LAD @ NYM ★22
- NFL 2024/25 week7 part 1
- とらせん
- ア・リーグ優勝決定シリーズ NYY @ CLE ☆2
- 橋下徹「白票を投じるということは“あなたを評価していません”という強烈なメッセージになる」 [781612267]
- 【緊急】1.0万給付.金キターーー！！!！！!！！！ [732289945]
- ホロライブの王、兎田ぺこら🐰の🏡
- 【画像】タイミーさんの平均知能、思ったよりやばそう [325614482]
- 日本の「発展途上国化」が止まらず世界から「アフリカ並みに安い国」扱いされはじめる 土人国家を名乗れるように [169920436]
- 礼儀正しいけど性格悪いんだが？