こんにちは。お久しぶりです。 留学をし始めてからツイッターを含めあまり文章でのアウトプットをしなくなりました。 それは考えを明確化しなくても前に進めるという意味で良いことでもあるんですが、面白いことに出会ったときに忘れてしまうとも思います。 …

こんにちは。お久しぶりです。 先週の水曜日に気胸になってしまい、1週間入院していました。 その間に初めての手術を始め、医療の大切さの実感や普段関わる人たちとは大きく異なる属性を持った方々との交流など、色々と新しい経験をしました。 個人的にはプ…

この記事は、Turing Advent Calendar 12/19の記事です。 www.turing-motors.com 昨日の記事に引き続き、ルールベース(形式的な手法)との比較のお話です。 情報科学や論理学で重要な考え方として、「形式化」というものがあります。これはプログラムの考え方…

この記事は、ISer Advent Calender 2022 12/19の記事になります。 adventar.org とは言っても、実は書いたのは結構昔になります。下書きにたまっていました。書いただけで自分としては満たされて公開しなかったパターンですね。さすがに2日連続で記事を書く…

こんにちは。finalです。 これは ISer Advent Calendar 2022の12/18の記事です。 adventar.org なんか1日早いんですけど、まだ明日も書くつもりでいます() Advent Calendarに面白そうな数学の記事があったので、僕も数学の話がしたくなってしまったのです。 …

こんにちは。ついに期末試験が終わりましたね。 モチベーションを下げたくないので、流れでブログを書きます。 Aセメは楽しい授業が多かったです。特に、英語中級・哲学Ⅱ・先進科学Ⅱαでは「想像力」についての話がありました。 ここでは英語中級向けに書いた…

こんにちは。早いもので2021年ももうあと少しですね。 さて、今日はちょうど奨学金のレポートで学業を振り返るというものがあったので、 せっかくだしそのレポートをブログにしようかなと思います。 実際、レポートに皆さんとの交流もたくさん書いたので、皆…

こんにちは。今日はご報告動画ならぬご報告記事です。 僕はSセメの成績をツイッターにあげたのですが、Aセメの成績に関してはツイートはしないようにします。 こう言うと、Aセメで成績があまり良くならないかもしれないから保険をかけているのではないかと言…

こんにちは。 最近、先生の勧めもあり、ガロア理論の本を読んでいます。 抽象的な概念は扱っているとワクワクしてきますが、やはり理解するのが難しいですね。 読んでいて色々考えたことなどがあったので、書いてみようと思います。 存在しないものを取り込…

みなさんこんにちは。いかがお過ごしでしょうか。 僕は最近は授業を受けて、課題をして、ツイッターをして、趣味の数学をちょっとしたら1日が終わってしまうような感じです。 さて、最近高校時代からお付き合いしていた彼女とお別れしました。 応援してくれ…

こんにちは。 何だかんだずっと課題が忙しくて、最近ようやく本格的に夏休みが始まりました。 そこで、夏学期に習ったことを定着させるため、記事にしてまとめようと思います。 まずは、力学で習ったスケーリング理論からケプラーの第3法則を導く方法を書こ…

こんにちは。初投稿です。 n回目のブログ開設をします。 なんというか、この何か新しいものを作る瞬間が気持ちいいんですよね。 nからn+1を生む瞬間っていうのはたくさんあるんですが、0から1を生む瞬間は希少なものに思えます。 この快楽がたまらなくて、ブ…