このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

最小抽象ファイルシステムで何をしたいのか

最小抽象ファイルシステム(Minimum Abstract Filesystem; mafs)の仕様案を述べました。 最小抽象ファイルシステムの仕様案 最小抽象ファイルシステムの仕様案 その2 最小抽象ファイルシステムの仕様案 その3 なんでこんなことを考えたのかを書いてみます。…

圏論番外:集合ベースの直積と直和

入門シリーズは途絶えて久しい、「番外」記事ばっか。… ^^;集合圏はよくSetと書き表しますが、これは、単に「対象が集合である圏」というだけでなくて、射が写像(関数)であることも一緒に表しているのです。対象として集合を採用しても、射が異なればまっ…