>>403
大文字小文字の変換が自然変換になる事を(Haskellの例で)証明して、と言う話
(自然変換が何かは分かっているで、直感的に違うと思ったから訊いた)
探検
ニュース
- 高市首相「戦艦」言及、間違い否定 政府答弁書 [ぐれ★]
- 中国クルーズ船、日本への航海中止 日中関係悪化が影響か [蚤の市★]
- 水深2mのホテルプールで大学生溺死、監視員なし 8千万円賠償命令 [蚤の市★]
- 拳銃24丁を中国から日本国内に輸入した疑い 中国人の46歳の男逮捕 1丁約3000円で販売 [七波羅探題★]
- サッカーW杯、日本代表戦は地上波で放送へ DAZNは全試合配信 [鉄チーズ烏★]
- 【日中対立】在日本中国大使館、サンフランシスコ講和条約「不法かつ無効な文書」とSNSに投稿 高市首相が党首討論で引用 [ぐれ★]
- 沖縄県民だけど日本人って「釣りは要らねえよ」ってチップくれる印象だったけどめっちゃ釣り銭欲しがってて萎えた [974680522]
- 【高市悲報】中国さん「...」 [308389511]
- 天音かなたさん、たった一人でホロライブの時価総額を65億吹き飛ばすｗｗｗｗｗ
- 👊👊👊👊🏡👊👊👊👊
- 石破茂「日章旗振り回し、絶叫するのが保守ではない。地域や歴史、伝統文化を大切にし、違う意見を聞き入れる寛容さこそ、保守の本質だ」 [256556981]
- 【悲報】人気VTuberの天音かなたさん、ホロライブ卒業★4 [485689427]