最近の記事

数理の翼44回夏季セミナー参加記録

お久しぶりですcipherです。8/4~8の5日間に数理の翼夏季セミナーへ参加していたのでその参加記録を書き綴っていこうと思います! (なお講義内容や開催場所の詳細については言及できないのでそこは把握してほしい) 数理の翼夏季セミナーとは? 数理の翼夏季セミナーは、フィールズ賞受賞数学者の広中平祐氏により1980年に第1回が開催されて以来毎夏各地で開催されている、合宿形式のセミナーです。 将来の科学技術を担う主力となるべき若い世代を発掘し育成する活動の一翼を担うべく、全国

    • 記号論理学とは...?(記号論理の基本事項をまとめた記事) (AMC 2023 Day9)

      皆さんこんにちは!cipherです!この記事は仮の人さん主催の ”AMC2023 (Advent Math Calendar2023)”の記事になっています。 (初めてこういう記事を書くので至らぬ点もたくさんあると思いますが、どうか温かい目で見てほしいです。)1~8日目の方々の出来がすごくて横転してます。まだ見ていない方はぜひ見に行ってみてください! 九日目に私が取り扱う内容は記号論理学です。(私のTwitter(X)プロフィールを見たことがある方は、『記号論理学』という名

    • 数理の翼44回夏季セミナー参加記録

    • 記号論理学とは...?(記号論理の基本事項をまとめた記事) (AMC 2023 Day9)