たとえばFizzBuzzのプログラムが「正しい」ことはどうやって証明するのか
入力が固定なら、出力を正解と差分比較すればいいが
ニュース
- 大企業「冬ボーナス」初の平均100万円超え 業績好調で4年連続プラス 来年の春闘前に賃上げの動きも [煮卵★]
- 立花孝志党首を不起訴 百条委員長の兵庫県議への名誉毀損容疑など [少考さん★]
- 米国防総省、中国軍は「202７年の台湾侵攻へ着実に前進」 分析公表 ★3 [蚤の市★]
- 【海外/米国】「エプスタイン・ファイル」の黒塗りを簡単に暴けることがわかり拡散中 [あずささん★]
- EVの電磁波「放射線被曝」の噂は本当か？ X線やガンマ線が含まれる可能性 ドイツ調査が明かした車内磁場の実態とは [お断り★]
- 日本語習得へ自治体支援を 自民、外国人政策で提言案 [少考さん★]
- 「国民的になり損ねたアニメ作品」の再アニメ化が相次いでいるからさ、「ツヨシしっかりしなさい」もキそうだよな [303493227]
- 高市総理への若者支持率が97%超え。フジテレビ調査 [523957489]
- 【文春】「日本は核保有すべき」発言をしたのは、核軍縮・不拡散問題担当の尾上定正総理大臣補佐官だった。奈良出身の総理のお友達 [256556981]
- 【緊急】クリスマスなんていらないくらい日々が安倍のかたまり [928194223]
- 【高市】北村晴男さん、不都合な真実を暴露「白人移民は良い移民、黒人やイスラムとかの質の悪いのを入れてはいけない」 [329329848]
- 🏡くこは夜更け過ぎに⛄、ちゅちょへと変わるだろう👶🎄🔔