2022.10.25
https://gyazo.com/fd907e14700fabdfe97a065b86a19465
前:
2022.10.24
後:
2022.10.26
#日報
メモ
https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/cal/
京都大学工学部『計算と論理』
Coq
の授業を今まさにやっていて,これをおれも勝手に受講しようと思う
知った
なんかよく知らないけど,
TOEIC I&P
ってのを受ける必要?があるらしいッス
思った
https://www.amiami.jp/top/detail/detail?scode=GOODS-04289666
本当にこれ買うか迷ってます 家に,
結愛せるふ
さんが居てほしいから
いいね
https://twitter.com/hurosinki/status/1584109135540326400
サーバント×ダルビッシュ...
なんでまだやってんだよ
知った
https://open.spotify.com/album/0cAjlIHMM0VqNfXO5kxn1p?si=TWIdc4d6SciNKo6AaOoioQ
Raymond Smullyan
のピアノアルバムがSpotifyにある 本物なのかはわからない
読んだ
そうしないことはありえたか?自由論入門(本)
数学のロジックと集合論(本)