愛想モルフィズム

I saw what I am

私と空気清浄機と猫

1 去年、念願の空気清浄機を手に入れた。 プラズマクラスター 鼻炎を患って久しいのだが、その症状を抑えるのに一役買ってもらえれば良いなと思い購入した。ちょうどカバー楽曲の制作を始めた頃に購入を検討したので、加湿機能付きのものにした。尤も、喉の…

DTM沼の話

私が本格的にDTM沼に嵌ったのはちょうど5年ぐらい前です.それ以前はWindowsのノートPCで無料ソフトウェアのMusic Studio Producer(MSP)というDAW(と呼べるかはだいぶ怪しい)を使っていました. www.frieve.com MSPはだいぶ無料にしてはだいぶ高性能で,音源…

2020年に食べたラーメンの話

dafuyafu.hatenablog.com 前回はラーメン以外の話をしましたが、今回は今年食べた(家系以外の)ラーメンについて話したいと思います。 らーめん楓 楓 北海道味噌ラーメンのお店です。当時横浜駅の近くに住んでた同期のコーディエ(通称)から教えてもらいま…

2020年に食べたものの話

2020年に食べたものの話をします。(ラーメンを除く) ブリ ブリとおせち 19-20の年末年始に帰省してたときに食べました。実家に帰ったらまた食べたいなと思うものの1つです。 ブリについて小話をひとつ。2015年3月、当時大学1年だった私は大学の友人ととも…

数学を学ぶことで人は寛容になれる(はず)という話

数学を学ぶ理由は最も多く議論が交わされてきた対象の一つである。中学高校時代に半ば強制的に数学を勉強させられ、こんなことが将来何の役に立つのかと疑問に思った人は決して少なくないと思われる。教師や大学教員は声高に「数学の知識は身の回りに様々な…

クリエイターは結局フォロワー数だという話

ある絵師のツイートがTLに流れてきた。具体的な言及は避けるが、大方このような内容だった。 フォロワー数が少ないから、という理由で仕事を断られました。 私はバズったツイートはコメント欄も見ることが多いのだが、見る前にしっかりと自分の意見を持って…

ラーメンと麻雀とライプニッツ係数

硬め濃いめ多め 1 その日はコンビニの準夜勤バイトがある日だった。準夜勤というのはその名の通り夜勤に準ずる業務形態であり、私の勤務している店舗では22時から翌1時30分までの3時間半が準夜勤に当たる。もっとも私のバイト先のコンビニは24時閉店であり、…

SymPy 備忘録 #1 sympy.poly.polytools 周辺

個人的な備忘録.

ムゲンの実の数学 #2 低次における味の総数の最大値

ムゲンの実1袋で食べられる味の総数の最大値は16であることを証明します.

ムゲンの実の数学 #1 有限ムゲンの実問題

n袋のムゲンの実を使って食べることができる味(実の組み合わせ)の最大値はいくつか?

【ガルパ】ぎゅっDAYS♪のコード進行

フヘヘ ハッピーラッキースマイルイエエエエーイ!!! みなさん、ガルパしてますか? bang-dream.bushimo.jp 今回は、先日ガルパにチャレンジ楽曲として配信が始まった Pastel*Palettesの「ぎゅっDAYS♪」について、 なんとなく秀和みを感じてしまったので、…

段論 #3.5 下段環を用いた準加算の概論

見切れている数式はスクロールすると読めます dafuyafu.hatenablog.com 下段環の理論では,与えられた群や環についてその下のレベルの演算を持つ対象を構成する方法を導入した.巨大数論では「コンウェイのチェーン表記」等の高いレベルの演算を導入してより…

段論 #3 群・環の下段環

見切れている数式はスクロールすると読めます dafuyafu.hatenablog.com 前回までの記事で一般にモノイドの場合について下段環を構成した.今回は群や環についての理論を整理する. 群の下段環 を群, をその自由下段環とする. 命題3.1 群 がアーベル群であ…

段論 #2 自由下段環

見切れている数式はスクロールで見れます dafuyafu.hatenablog.com dafuyafu.hatenablog.com 前回の続きを書きます. 一般化 導入記事と前回の記事では与えられたモノイド上の自由群の剰余群から自然数モノイドへ準同型を作り,それを用いて下段環を定義した…

トライアドコードとグラフ理論 #2

見切れている数式はスクロールすると読めます dafuyafu.hatenablog.com 今回は前回の記事の続きです.定義などは前回の記事に倣います. 今回からはトライアドコードグラフを同型を除いて分類することを考えます.トライアドコードグラフは構成の定義から高…

トライアドコードとグラフ理論 #1

見切れている数式はスクロールで読めます 先日,オムニバス講義のグラフ理論回で, トライアドコードのグラフをつなげてメービウスの帯を作る という大変興味深い研究を知りました. ここでは詳しくは説明しませんが,「n-triad coloring」と検索すれば出て…

Milnor - The Fundamental Theorem of Algebra (Topology from the Differentiable Viewpoint)

見切れている数式はスクロールで読めます. 今日は趣向を変えてミルナー著「Topology from the Differentiable Viewpoint」から代数学の基本定理の証明を紹介します.ちょうど微分トポロジーの授業でここの部分が僕の担当だったからです. 代数学の基本定理…

Hartshorne §1 Varieties, Lemma 4.3

見切れている数式はスクロールで表示できます. 本記事における多様体は代数多様体のうちアフィン多様体,準アフィン多様体,射影多様体,準射影多様体のいずれかのことを言い,多様体がアフィンであるとは何らかのアフィン多様体と同型であることを言う. …

段論 #1 導入・簡単な例

見切れている数式はスクロールで見れます dafuyafu.hatenablog.com 本記事は,上の記事を受けて理論をより単純な形で一般化することを目的とし,前記事では触れられなかった他の例について考察を与えるものである.この記事には前記事の訂正や改良を含み,主…

モノイド上の自由群の剰余群の代数構造と準加算について

見切れている数式はスライドで表示できます. この記事では は0を含まないとし、通常の積について単位元1をもつモノイドだと考える.この記事はまずはじめに形式的な議論を述べ,次に例と考察を与える. 本論 を単位元 をもつモノイドとし,その演算を とす…

Hartshorne Ex2.14 The Segre Embedding #1

見切れている数式はスライドで表示できます. 2.14 セグレ埋め込み (ただし )を, のように辞書式順序で整列した点へ移す写像とする.ここで, はwell-definedであり単射である.これはセグレ埋め込みと呼ばれる.この像が の部分多様体になることを示せ.(…

冬のカーネル・シータ (後編)

ゼミを終えた私は研究室に戻り、再び絶望と向き合うことにした。窓に刺す西陽のオレンジ色は衝立に遮られて私の机には届かない。冬の澄み切った大気が雄大な富士山の影を無数の建造物の上に映し出すのがとても美しい。形式的な記号の渦に飲み込まれながら、…

漫才ネタ(家族と飲む)

ふと思いついたので残しておく。 ツッコミ「はいどーもー」 ボケ「天王町・白楽です」 ツ「よろしくお願いしまーす。」 ボ「まぁ言ってますけども」 ツ「はい」 ボ「いやー実は最近22歳になりまして、」 ツ「おっ、おめでとうございます」パチパチパチ… ボ「い…

冬のカーネル・シータ (前編)

先日帰化したばかりの友人が今朝の寒さを嘆くツイートをしているのを見た私は、行李から厚物の羽織りを取り出した。普段、原付で登校している私もこの頃の寒さには気が滅入るばかりで、そろそろ原付に乗るのも諦めるのが良いと感じていたところであった。朝…

同値関係よりも弱いなにか

この記事は 日曜数学 Advent Calendar 2017 の 6 日目の記事です。前日の記事は横山明日希さん(@asunokibou)の「僕が好きな放物線の小ネタ3選」でした. asunokibou.net 前置き だふやふです.どうぞよろしくお願い致します. 僕は趣味でボーカロイド曲を作…

Hartshorne Ex2.12 The d-Uple Embedding (b)

2.12 d-重埋め込み ある自然数 について, を全ての 変数 の 次単項式とする.ただし, とする.ここで, ,ただし ]となるように を定義する.これは の における -重埋め込みと呼ばれる.例えば, のとき, であり, の における -重埋め込みの像 は円錐で…

Hartshorne Ex2.12 The d-Uple Embedding (a), (d)

抜本の演習2.12