Kazuki Watanabe
@kwatanabecs.bsky.social
Yogiboに沈んだまま動けない土日を過ごしています
February 1, 2026 at 5:44 AM
Yogiboに沈んだまま動けない土日を過ごしています
共著者らの火事場の馬鹿力によって無事提出することができたので、これで研究活動に取り組むことができそう(?)
January 29, 2026 at 5:07 PM
共著者らの火事場の馬鹿力によって無事提出することができたので、これで研究活動に取り組むことができそう(?)
締切前日(もう当日ですが)に突貫で書いた低クオリティintroを投げつけるという業が深いことをしてしまった...(本当にすいません)
January 28, 2026 at 4:33 PM
締切前日(もう当日ですが)に突貫で書いた低クオリティintroを投げつけるという業が深いことをしてしまった...(本当にすいません)
最近SMT solverさんのご機嫌を伺っている時間が研究の大半になっている気がする...笑
こういう仕事は全部AIさんにやってほしくはあるかもしれない
こういう仕事は全部AIさんにやってほしくはあるかもしれない
January 7, 2026 at 6:47 AM
最近SMT solverさんのご機嫌を伺っている時間が研究の大半になっている気がする...笑
こういう仕事は全部AIさんにやってほしくはあるかもしれない
こういう仕事は全部AIさんにやってほしくはあるかもしれない
最近知人におすすめされたTWGのお茶が美味しすぎて、最近はもっぱらコーヒーではなくお茶派になりつつあります
November 2, 2025 at 6:24 AM
最近知人におすすめされたTWGのお茶が美味しすぎて、最近はもっぱらコーヒーではなくお茶派になりつつあります
300年ぶりにbeamerでスライドを作り始めたんですが、作り方を全て忘却していてやたら時間がかかっています...
September 13, 2025 at 8:38 AM
300年ぶりにbeamerでスライドを作り始めたんですが、作り方を全て忘却していてやたら時間がかかっています...
取り組んでいると10分に一回ため息が出る仕事を倒した
September 12, 2025 at 6:47 AM
取り組んでいると10分に一回ため息が出る仕事を倒した
一つ研究ネタが消し飛んだが、新しく研究ネタが錬成できた
August 24, 2025 at 10:54 AM
一つ研究ネタが消し飛んだが、新しく研究ネタが錬成できた
エアライダー、思ったよりリリースが早いのでswitch2を早く手に入れなければならなくなった...
August 20, 2025 at 11:10 AM
エアライダー、思ったよりリリースが早いのでswitch2を早く手に入れなければならなくなった...
KH3やってたら、トイストーリーのワールドで流れたBGMがエモすぎて感動した...
August 10, 2025 at 3:18 PM
KH3やってたら、トイストーリーのワールドで流れたBGMがエモすぎて感動した...
人生で初めて自分でガッツリ眉カットして眉ブロウで眉描いてみたんですが、労力考慮した上でやり得すぎてやばいと自分の中で話題になりました
August 9, 2025 at 10:45 AM
人生で初めて自分でガッツリ眉カットして眉ブロウで眉描いてみたんですが、労力考慮した上でやり得すぎてやばいと自分の中で話題になりました
昨日一日変な座り方をしていたせいか謎の筋肉痛(?)みたいな感じでお尻が痛くて仕事が辛いです()
July 31, 2025 at 4:08 AM
昨日一日変な座り方をしていたせいか謎の筋肉痛(?)みたいな感じでお尻が痛くて仕事が辛いです()
15時以降にはエスプレッソを淹れないという己の縛りを破ってしまいました(締め切り前にも関わらず眠すぎるため)
July 10, 2025 at 10:37 AM
15時以降にはエスプレッソを淹れないという己の縛りを破ってしまいました(締め切り前にも関わらず眠すぎるため)
dblpさんがご機嫌斜めで困っている人たくさんいそう(涙)
July 3, 2025 at 12:48 PM
dblpさんがご機嫌斜めで困っている人たくさんいそう(涙)
睡眠に失敗して、今日からカンファなのにほぼ徹夜になりそう(一、二時間ぐらいは寝れたが...)
June 22, 2025 at 8:55 PM
睡眠に失敗して、今日からカンファなのにほぼ徹夜になりそう(一、二時間ぐらいは寝れたが...)
時差ボケで昼過ぎに起きたのに、明日5時起きなので早く寝ないといけないのが辛いです()
June 21, 2025 at 10:51 AM
時差ボケで昼過ぎに起きたのに、明日5時起きなので早く寝ないといけないのが辛いです()
久々に自宅に帰ってきましたが、「自宅is神」とさせてください
June 20, 2025 at 2:30 PM
久々に自宅に帰ってきましたが、「自宅is神」とさせてください
わりかし良い進捗を産んだ結果頭が冴えて眠れなくなってしまった()
May 31, 2025 at 4:29 PM
わりかし良い進捗を産んだ結果頭が冴えて眠れなくなってしまった()
仕事が多すぎて萎えてやる気がなくなるのを通り越してやる気が出るぐらい仕事が多くなってきた()
May 26, 2025 at 2:46 PM
仕事が多すぎて萎えてやる気がなくなるのを通り越してやる気が出るぐらい仕事が多くなってきた()
やっぱりPlotkinしか勝たんかもしれん(しかし僕の問題は何も解決していない)
May 24, 2025 at 3:34 PM
やっぱりPlotkinしか勝たんかもしれん(しかし僕の問題は何も解決していない)
高階+再帰があるだけで全然monad構造が手に入らなくなる
May 24, 2025 at 2:15 AM
高階+再帰があるだけで全然monad構造が手に入らなくなる
研究で初めてdomain theory使っているが、domain theory辛いという気持ちになってきた...
May 24, 2025 at 2:14 AM
研究で初めてdomain theory使っているが、domain theory辛いという気持ちになってきた...
来ないレビューを待って土日が終わりそう。リバッタル期間限られてるのに...(涙)
May 11, 2025 at 2:44 AM
来ないレビューを待って土日が終わりそう。リバッタル期間限られてるのに...(涙)