20260105
https://scrapbox.io/files/695bc5d37807890ed6b7a8c6.png
0800 起床
PC 持って家を出れたので今日は 100 点
これは騙されませんでした
Wordle 1,661 4/6
🟩⬛⬛⬛⬛
🟩🟩🟩⬛⬛
🟩🟩🟩⬛🟩
🟩🟩🟩🟩🟩
〈親が決め 時代遅れの 見合（みあい）婚 今こそ言おう 好きだよ千恵子＞
括弧が気になるけど
もうすでにはじめていらっしゃる方、年末年始などなくがんばられている方、すごい！えらい！
午年らしいお写真載せていなかったので、先日ロケ中に撮っていただいた1枚を。
今年も、それぞれのペースで、ガンバ！
https://pbs.twimg.com/media/G93DUoSakAApOXU.jpg
大泉学園出身の池袋で育ったような自分としては小さい頃よく行ってた東武百貨店でイベントできたこと本当に嬉しかったです！
屋上のイベントで寒い中たくさん集まっていただきありがとうございましたー！！
https://pbs.twimg.com/media/G90g_JTaEAEuNTH.jpg
こういう芸人さんたちって縁起が良さそう
code:js
function fib(n) {
if (n <= 1) {
return n;
} else {
return fib(n) + fib(n - 1);
}
}
これは壊れている(本来は fib(n - 1) + fib(n - 2))
code:lean
def fib (n : Nat) : Nat := /- error: fail to show termination for fib -/
if n ≤ 1 then
n
else
fib n + fib (n - 2)
fail to show termination for
fib
with errors
failed to infer structural recursion:
Cannot use parameter n:
failed to eliminate recursive application
fib n