2023-02-13

定期晩成

やったこと

• 定期購入
• テスト勉強
  • 物理
  • コンアキ

定期券

定期券の期限が切れていた。今日の朝、電車に乗ってから気がついた。モバイル系のICを使っていないのにもかかわらず現金を持ち歩かないという舐めムーブをかましている昨今だったので本当の危機。危うく上豊田の地縛霊になるところを、市駅につながる精算機に救ってもらった。ありがたいねーーー！！！（コンボイ）

残りは定期を買わずに通おうかと思ったけど、1週間通えば定期の元が取れるのに気づいたからもう1ヶ月分を購入した。3月も豊田と栄行き放題と思えば全然ワース。

テスト勉強

物理

範囲が広いしまあまあ難しいから、全部やろうとするとかなりしんどい。でも正直言うと課題の2箇所と最後の授業でやった場所だけやれば耐える気がする。時間的にもいい線言ってると思うんだよな。

選択授業に関しては、俺が点取れないテストだったら他の人が取れるわけないから大丈夫やろ、の精神でやってる。おすすめです。

コンアキ

Haskell（テストに関係ない） 使って計算するの楽しい。ちょっとした計算とかならghciを電卓にするのはありかもしれない。

整数nについて、 n! < 2^32 - 1となる最大の n 👇

ghci> length . takeWhile (<(2^32 - 1)) . map factrical $ [1..]
12

整数 n (1~12) としたときの数列の総和 👇

ghci> sum . map (\x -> 7 + 4 * (x - 1)) $ [1..12]
348
ghci> sum . map (\x -> 3 + 4 * x) $ [1..12]
348

今日の授業

• 情報数学
• 日本語表現

情報数学

今日は情報数学の授業があった。正規表現とか万能チューリングマシンとか文脈自由言語とか非決定性らへんの話題でちょくちょく先生が適当なことを言う気がする。ちょっともやもやするけど、大体は理論じゃなくて例示とか歴史の小咄のところなのである程度しょうがないか…と思いながら聞いている。口頭で厳密に説明してもしょうがないもんな。テスト出ないから誰も聞いてないし。

日本語表現

音声課題の発表だった。みんなの好きな言葉にそれぞれの個性が出てて良かった。

俺は「大器晩成」にして、自分が大器かどうかはともかく、晩成を信じて努力するのが大事、みたいな解釈を言った。けっこう悪くないと思う。

思ったこと

昨日は本当に終わってる1日を過ごしたし、今日の朝もかなり気分が悪かった。でもこれが学校で友達と喋ったら一瞬で完治した。さすがにカスすぎる、ウサギか何かですか？

お昼は ishibe-chan と正規表現の話をしたあと、公理と定理の発生順(?)と定義(?)みたいな話もした。有意義だった。論理学やりたい。

勉強の息抜きに日報書いてたら書きすぎた🦕