2025.04.16
https://gyazo.com/8718cb4aaf31946243d047338268bef9
前：
2025.04.15
後：
2025.04.17
#日報
メモ
TO BE HERO X #2
おもしろすぎるし画がリッチすぎ
機動戦士Gundam GQuuuuuuX #2
カットそこでするんだ
すいませんOPが
smooooch・∀・
すぎ
思った
ゼミの資料を形式化したコードから書き起こしたのに普通に間違えてめちゃくちゃになったのマヌケすぎ
メモ
https://info.arxiv.org/hiring/index.html
arxiv
の求人
GitOps
採用して
DevOps
を改善しようとしてたり色々しようとしてたりして意外と先進的なことしてるんだなと思った
部分的に
Perl
や
PHP
で書かれたバックエンドが動いているらしく置き換えたいですという求人を出していておもしろい
メモ
算術的カット除去
意味論的カット除去定理
で良くない？と言われて確かにと思ったので終わった