https://mizunashi-mana.github.io/blog/Mon, 02 Feb 2026 00:47:10 +0900https://mizunashi-mana.github.io/blog/posts/2026/02/react-view-props-pattern/<p>React は昨今の Web アプリ開発において当たり前に使われるようになり、エコシステムも発展し続けている。そして、Web にお …</p>Mizunashi ManaSun, 01 Feb 2026 22:37:13 +0900tag:mizunashi-mana.github.io,2026-02-01:/blog/posts/2026/02/react-view-props-pattern/プログラミングReactアーキテクチャWeb状態管理MVVMhttps://mizunashi-mana.github.io/blog/posts/2025/06/migrate-homebrew-to-nix/<p><a class="reference external" href="https://brew.sh/">Homebrew</a> は macOS における開発者の標準のパッケージマネージャだ。 <a class="reference external" href="https://brew.sh/">Homebrew</a> を使えば、殆どのパッケージの最新バージョンを <tt class="docutils literal">brew install</tt> コ …</p>Mizunashi ManaMon, 02 Jun 2025 14:56:17 +0900tag:mizunashi-mana.github.io,2025-06-02:/blog/posts/2025/06/migrate-homebrew-to-nix/環境構築HomebrewNixmacOSFishhttps://mizunashi-mana.github.io/blog/posts/2025/01/use-10g-internet/<p>最近ネット回線を特に意味もなく10Gプランに変えてみたので、その備忘録。特にいくつか詰まる部分があったので、それを残しておく。</p> <div class="section" id="gbe"> <h2>10GbE市販普及の背景<a class="headerlink" href="#gbe" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>さて、イ …</p></div>Mizunashi ManaWed, 15 Jan 2025 18:51:48 +0900tag:mizunashi-mana.github.io,2025-01-15:/blog/posts/2025/01/use-10g-internet/サービス光回線インターネットIPoEルータネットワークhttps://mizunashi-mana.github.io/blog/posts/2024/11/fing-modules/<p>現代的なプログラムは、非常に複雑で規模の大きなものが多い。そのため、プログラムを構成する部品を適切に分割し …</p>Mizunashi ManaThu, 21 Nov 2024 22:02:31 +0900tag:mizunashi-mana.github.io,2024-11-21:/blog/posts/2024/11/fing-modules/プログラミング言語型システム存在型モジュールSystem-Fhttps://mizunashi-mana.github.io/blog/posts/2023/12/install-firefish-by-deb/<p>Fediverse は ActivityPub により接続されたサーバ群によるネットワークである。ActivityPub は短文投稿、画像・動画共有、ファイル共有などを可 …</p>Mizunashi ManaWed, 06 Dec 2023 20:53:49 +0900tag:mizunashi-mana.github.io,2023-12-06:/blog/posts/2023/12/install-firefish-by-deb/環境構築FediverseActivityPubWebFirefishhttps://mizunashi-mana.github.io/blog/posts/2023/10/fediverse-stats/<p>Fediverse は、W3C 勧告の ActivityPub を主要なプロトコルとした、リソース共有を相互に行う Web 上の分散ネットワークである。昨今の騒動 …</p>Mizunashi ManaSun, 29 Oct 2023 13:45:15 +0900tag:mizunashi-mana.github.io,2023-10-29:/blog/posts/2023/10/fediverse-stats/サービスWebActivityPubMastodonFediversehttps://mizunashi-mana.github.io/blog/posts/2023/10/display-property-of-css/<p>さて、</p> <div class="highlight"><pre><span></span><span class="p">&lt;</span><span class="nt">div</span><span class="p">&gt;</span>デザインにおいて、<span class="p">&lt;</span><span class="nt">div</span> <span class="na">style</span><span class="o">=</span><span class="s">&quot;text-decoration: underline;&quot;</span><span class="p">&gt;</span>レイアウト<span class="p">&lt;/</span><span class="nt">div</span><span class="p">&gt;</span>は重要な要素だ。<span class="p">&lt;/</span><span class="nt">div</span><span class="p">&gt;</span> </pre></div> <p>という HTML 片が、基本的なブラウザでどう表示され …</p>Mizunashi ManaSun, 08 Oct 2023 22:40:38 +0900tag:mizunashi-mana.github.io,2023-10-08:/blog/posts/2023/10/display-property-of-css/規格CSSHTMLWebデザインhttps://mizunashi-mana.github.io/blog/posts/2023/09/archived-activitypub-server/<p>Fediverse は ActivityPub をしゃべるサーバを基本単位とした分散型 SNS ネットワークである。ActivityPub は W3C が勧告する分散型 SNS の標準プロト …</p>Mizunashi ManaSat, 09 Sep 2023 18:06:22 +0900tag:mizunashi-mana.github.io,2023-09-09:/blog/posts/2023/09/archived-activitypub-server/サービスFediverseActivityPubWebアーカイブhttps://mizunashi-mana.github.io/blog/posts/2023/09/impl-custom-alloc-integrated-with-malloc/<p>大規模で、ユーザ入力などの外部要因により左右されるプログラムでは、動的なメモリ管理が必要になる場合が多い …</p>Mizunashi ManaFri, 01 Sep 2023 12:09:26 +0900tag:mizunashi-mana.github.io,2023-09-01:/blog/posts/2023/09/impl-custom-alloc-integrated-with-malloc/プログラミングLinuxglibcメモリhttps://mizunashi-mana.github.io/blog/posts/2023/08/systemd-analyze-security/<p>systemd は Linux の標準的なシステム・サービスマネージャで、sysvinit の代替の init プロセスとなることを目指して開発されたソフ …</p>Mizunashi ManaSun, 06 Aug 2023 14:25:05 +0900tag:mizunashi-mana.github.io,2023-08-06:/blog/posts/2023/08/systemd-analyze-security/運用systemdセキュリティLinuxhttps://mizunashi-mana.github.io/blog/posts/2023/06/ansible-with-cuelang/<p>Ansible や Kubernetes などのオーケストレーションツールでは、タスクやサービスの記述は再利用可能にしておきつつ、設定を別途 …</p>Mizunashi ManaSun, 18 Jun 2023 17:07:03 +0900tag:mizunashi-mana.github.io,2023-06-18:/blog/posts/2023/06/ansible-with-cuelang/運用AnsibleYAMLCUEデータ検証https://mizunashi-mana.github.io/blog/posts/2023/05/nftables-json-logging/<p>Linux でのファイアウォールが nftables になってからかなり経つ。iptables フロントエンドよりも分かりやすい設定ファイルと設定 …</p>Mizunashi ManaSun, 21 May 2023 21:12:17 +0900tag:mizunashi-mana.github.io,2023-05-21:/blog/posts/2023/05/nftables-json-logging/運用nftablesファイアウォールDebianhttps://mizunashi-mana.github.io/blog/posts/2023/05/operating-private-ca-with-acme/<p>今日のネットワーク通信では、様々な中継ポイントを介すことが多い。これにより、様々な繋がりを作ることができるようになっている。しかしその反面、中継ポイントには様々な運用者が挟まることになり、盗聴や改竄といった不正 …</p>Mizunashi ManaFri, 19 May 2023 19:55:20 +0900tag:mizunashi-mana.github.io,2023-05-19:/blog/posts/2023/05/operating-private-ca-with-acme/運用証明書認証局セキュリティhttps://mizunashi-mana.github.io/blog/posts/2023/03/mastodon-share-button/<p>Mastodon への記事共有を行うボタンを追加したので、その仕組みについてちょっと解説しとこうかなと思う。是非、利用して …</p>Mizunashi ManaWed, 08 Mar 2023 21:54:34 +0900tag:mizunashi-mana.github.io,2023-03-08:/blog/posts/2023/03/mastodon-share-button/運用MastodonブログWebhttps://mizunashi-mana.github.io/blog/posts/2023/02/bidirectional-typing/<p>単純型付きラムダ計算へ多相型を導入した拡張として System-F という体系がある。これは、通常の型付きラムダ項に、型の量 …</p>Mizunashi ManaTue, 21 Feb 2023 22:45:32 +0900tag:mizunashi-mana.github.io,2023-02-21:/blog/posts/2023/02/bidirectional-typing/プログラミング言語型システム型推論多相関数System-Fhttps://mizunashi-mana.github.io/blog/posts/2023/02/mastodon-experience/<p>Twitter から Mastodon に移住して一ヶ月ほど経ち、あんまり Twitter に戻る気がなくなってきた。せっかくなので、備忘録と案内を兼ねて …</p>Mizunashi ManaSun, 19 Feb 2023 00:58:46 +0900tag:mizunashi-mana.github.io,2023-02-19:/blog/posts/2023/02/mastodon-experience/サービスSNSFediverse分散Mastodonhttps://mizunashi-mana.github.io/blog/posts/2023/02/use-securerandom-getinstancestrong-carefully/<p>何番煎じか分からないが、個人的に詰まったので備忘録。JDK には、暗号用の乱数生成器 <a class="reference external" href="https://docs.oracle.com/javase/jp/11/docs/api/java.base/java/security/SecureRandom.html">SecureRandom</a> クラスが用意されている。そし …</p>Mizunashi ManaSun, 05 Feb 2023 13:16:35 +0900tag:mizunashi-mana.github.io,2023-02-05:/blog/posts/2023/02/use-securerandom-getinstancestrong-carefully/セキュリティJava乱数JVMLinuxhttps://mizunashi-mana.github.io/blog/posts/2023/01/hmx-inference-with-constraints/<p>パラメータ多相を持つプログラミング言語は多いが，その多くは型パラメータの記述機能だけを持つわけではない …</p>Mizunashi ManaTue, 24 Jan 2023 21:49:16 +0900tag:mizunashi-mana.github.io,2023-01-24:/blog/posts/2023/01/hmx-inference-with-constraints/プログラミング言語型システム型推論多相関数型制約https://mizunashi-mana.github.io/blog/posts/2022/08/hm-type-system/<p>プログラミング言語において，パラメータ多相は今や標準的な機能と言って良い．Java のジェネリクスや C++ のテンプレ …</p>Mizunashi ManaSat, 27 Aug 2022 19:05:29 +0900tag:mizunashi-mana.github.io,2022-08-27:/blog/posts/2022/08/hm-type-system/プログラミング言語型システム型推論多相関数https://mizunashi-mana.github.io/blog/posts/2022/02/contextual-peg-parser/<p>前に PEG パーサジェネレータライブラリ ptera を作っているという話をしたが，今回はその第二弾．ptera で Haskell2010 の文法パーサを …</p>Mizunashi ManaWed, 23 Feb 2022 23:53:35 +0900tag:mizunashi-mana.github.io,2022-02-23:/blog/posts/2022/02/contextual-peg-parser/フレームワークHaskellパーサPEGhttps://mizunashi-mana.github.io/blog/posts/2021/12/migrate-to-luatexja/<p>今まで日本語文書作成で upLaTeX を使っていたのだが，体験が微妙だったので最近 LuaTeX に移行した．特に数式フォントとして …</p>Mizunashi ManaSun, 26 Dec 2021 13:26:47 +0900tag:mizunashi-mana.github.io,2021-12-26:/blog/posts/2021/12/migrate-to-luatexja/ツールTeXフォント文書作成https://mizunashi-mana.github.io/blog/posts/2021/11/peg-parser-generating-by-ptera/<p>最近 PEG パーサジェネレータライブラリを作っているんだが，一旦区切りがついたので忘れないうちに備忘録をまと …</p>Mizunashi ManaSun, 21 Nov 2021 06:02:13 +0900tag:mizunashi-mana.github.io,2021-11-21:/blog/posts/2021/11/peg-parser-generating-by-ptera/フレームワークHaskellパーサPEGhttps://mizunashi-mana.github.io/blog/posts/2021/01/how-to-use-happy/<p>Haskell には，Happy と言う名前のパーサジェネレータがある．基本的には，yacc と同じような使い勝手のジェネレータで，GHC で使用 …</p>Mizunashi ManaSun, 31 Jan 2021 23:37:38 +0900tag:mizunashi-mana.github.io,2021-01-31:/blog/posts/2021/01/how-to-use-happy/フレームワークHaskellパーサHappyLALRhttps://mizunashi-mana.github.io/blog/posts/2020/11/unicode-surrogate-codepoint/<p>Unicode は、文字コードの標準を目指して創設された規格であり、文字をどう処理するか、テキストデータとしてどう表すか …</p>Mizunashi ManaSat, 14 Nov 2020 19:48:12 +0900tag:mizunashi-mana.github.io,2020-11-14:/blog/posts/2020/11/unicode-surrogate-codepoint/規格UnicodeUTF文字コードhttps://mizunashi-mana.github.io/blog/posts/2020/10/heyting-algebra-properties/<p>古典論理の意味論がブール代数によって議論できるように，直観主義論理の意味論はハイティング代数によって考 …</p>Mizunashi ManaSun, 04 Oct 2020 23:11:38 +0900tag:mizunashi-mana.github.io,2020-10-04:/blog/posts/2020/10/heyting-algebra-properties/数学ハイティング代数ブール代数束https://mizunashi-mana.github.io/blog/posts/2020/07/prometheus-operator/<p>Prometheus は、メトリクスの監視を行うためのモニタリングツールだ。各種メトリクスを出す exporter とそれを集計する Prometheus サーバ、及 …</p>Mizunashi ManaSun, 26 Jul 2020 17:38:44 +0900tag:mizunashi-mana.github.io,2020-07-26:/blog/posts/2020/07/prometheus-operator/運用PrometheusGrafanaKubernetesDockerhttps://mizunashi-mana.github.io/blog/posts/2020/07/padding-oracle-attack/<p>共通鍵暗号の暗号方式としてよく用いられている暗号の種類として，ブロック暗号がある．ブロック暗号は，暗号方式 …</p>Mizunashi ManaSun, 19 Jul 2020 22:33:47 +0900tag:mizunashi-mana.github.io,2020-07-19:/blog/posts/2020/07/padding-oracle-attack/セキュリティブロック暗号脆弱性https://mizunashi-mana.github.io/blog/posts/2020/07/no-parenthesis-with-blockarguments/<p>GHC 8.6 から <tt class="docutils literal">BlockArguments</tt> という拡張が入った．これは構文拡張で，Haskell 2010 で必要だった幾つかの括弧を省略できるようにするもの …</p>Mizunashi ManaSun, 05 Jul 2020 21:12:00 +0900tag:mizunashi-mana.github.io,2020-07-05:/blog/posts/2020/07/no-parenthesis-with-blockarguments/プログラミング言語HaskellGHCGHC拡張https://mizunashi-mana.github.io/blog/posts/2020/06/xcode-trouble-shooting/<p>XCode を使ってる時，ちょっと検索しにくい問題に2件当たったので，備忘録として残しておく．</p> <div class="section" id="undefined-symbols-for-architecture-i386"> <h2>Undefined symbols for architecture i386<a class="headerlink" href="#undefined-symbols-for-architecture-i386" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>iOS 用の Objective-C のプロジェクトをビ …</p></div>Mizunashi ManaThu, 18 Jun 2020 21:58:47 +0900tag:mizunashi-mana.github.io,2020-06-18:/blog/posts/2020/06/xcode-trouble-shooting/ツールXCodeObjective-CiOSビルドhttps://mizunashi-mana.github.io/blog/posts/2020/04/kotlin-android-grpc/<p>単純に gRPC クライアントを Android アプリで書いて，mock サーバを Kotlin で書くだけなのにすごく苦労したので，備忘録的に書いと …</p>Mizunashi ManaSun, 19 Apr 2020 21:41:04 +0900tag:mizunashi-mana.github.io,2020-04-19:/blog/posts/2020/04/kotlin-android-grpc/フレームワークKotlinJavaGradleAndroidgRPChttps://mizunashi-mana.github.io/blog/posts/2020/03/coherent-implicit-parameter/<p>アドホック多相を実現する方法として，型クラスがある．型クラスは，辞書渡しと呼ばれる方法により，かなり自然に elaboration …</p>Mizunashi ManaTue, 31 Mar 2020 16:30:54 +0900tag:mizunashi-mana.github.io,2020-03-31:/blog/posts/2020/03/coherent-implicit-parameter/プログラミング言語Haskell型クラス型システムhttps://mizunashi-mana.github.io/blog/posts/2020/03/deriving-strategies-by-deriving-via/<p>Haskell では、ボイラープレートは非常に嫌われており、それを撲滅するため強力な型システムの他にも幾つか機能が組み …</p>Mizunashi ManaMon, 30 Mar 2020 17:28:37 +0900tag:mizunashi-mana.github.io,2020-03-30:/blog/posts/2020/03/deriving-strategies-by-deriving-via/プログラミング言語GHCHaskellGHC拡張https://mizunashi-mana.github.io/blog/posts/2020/03/haskell-lazy-debug-problem/<p>先日、Haskell 界隈で遅延評価によってデバッグがし辛いのはどんな時かと言う話があった。見た感じ、遅延評価によってデ …</p>Mizunashi ManaSun, 29 Mar 2020 17:12:41 +0900tag:mizunashi-mana.github.io,2020-03-29:/blog/posts/2020/03/haskell-lazy-debug-problem/プログラミング言語Haskell遅延評価デバッグhttps://mizunashi-mana.github.io/blog/posts/2020/03/coherent-typeclass-and-orphan-instance/<p>Haskell には型クラスと呼ばれる重要な機能がある．これは名前の通り，型をクラス分けするための機能で，その型に対して …</p>Mizunashi ManaFri, 20 Mar 2020 20:43:29 +0900tag:mizunashi-mana.github.io,2020-03-20:/blog/posts/2020/03/coherent-typeclass-and-orphan-instance/プログラミング言語HaskellGHC型クラスhttps://mizunashi-mana.github.io/blog/posts/2020/03/latex-with-stix-font/<p>LaTeX では Computer Modern フォントが使われている．ただ，Computer Modern フォントはかなり古く対応してる文字もあまり多くない．特に日本語 …</p>Mizunashi ManaSat, 07 Mar 2020 14:59:35 +0900tag:mizunashi-mana.github.io,2020-03-07:/blog/posts/2020/03/latex-with-stix-font/ツールLaTeXフォント数式STIXhttps://mizunashi-mana.github.io/blog/posts/2020/02/haskell-atcoder-template/<p>AtCoder が現在新環境のテストをしている: <a class="reference external" href="https://atcoder.jp/contests/language-test-202001">https://atcoder.jp/contests/language-test-202001</a></p> <p>今までの環境では GHC 7.10.3 だったのが，新環境では 8.6.5 になるの …</p>Mizunashi ManaMon, 17 Feb 2020 20:24:02 +0900tag:mizunashi-mana.github.io,2020-02-17:/blog/posts/2020/02/haskell-atcoder-template/学習HaskellGHCAtCoder競技プログラミングhttps://mizunashi-mana.github.io/blog/posts/2020/01/use-reader-instead-of-state/<dl class="docutils"> <dt><strong>注意</strong></dt> <dd>この記事は公開当時主張に誤りを含んでいたため，大幅に書き直しています．また，公開当時の主張の誤りについ …</dd></dl>Mizunashi ManaFri, 31 Jan 2020 05:23:21 +0900tag:mizunashi-mana.github.io,2020-01-31:/blog/posts/2020/01/use-reader-instead-of-state/プログラミングHaskellGHCモナドhttps://mizunashi-mana.github.io/blog/posts/2019/12/algebraic-compact-functor/<p><a class="reference external" href="http://ziphil.com/diary/application/26.html">http://ziphil.com/diary/application/26.html</a> を読んでるとき，まとめたことを記事として残しておこうと思った．</p> <p>参考文献は，</p> <blockquote> Barr, M. (1992). Algebraically compact functors. Journal of Pure …</blockquote>Mizunashi ManaMon, 16 Dec 2019 20:16:48 +0900tag:mizunashi-mana.github.io,2019-12-16:/blog/posts/2019/12/algebraic-compact-functor/数学圏論cpoF-algebrahttps://mizunashi-mana.github.io/blog/posts/2019/12/rankntypes-a-ghc-extension/<p>今回は，GHC拡張の一つ <tt class="docutils literal">RankNTypes</tt> の紹介をしようと思う．もうちょっとちゃんとまとめたのをいつか Haskell-jp かどっかに投稿したいと思ってる …</p>Mizunashi ManaSat, 07 Dec 2019 01:14:55 +0900tag:mizunashi-mana.github.io,2019-12-07:/blog/posts/2019/12/rankntypes-a-ghc-extension/プログラミング言語HaskellGHC拡張GHC多相関数https://mizunashi-mana.github.io/blog/posts/2019/11/support-more-web-using-babel/<p>Sentry でたまに，古い OS からのアクセスによるエラーレポートが来る．現状，このブログの JS は <tt class="docutils literal">let</tt> / <tt class="docutils literal">const</tt> 普通に使ってるし， <tt class="docutils literal"><span class="pre">for-of</span></tt> な …</p>Mizunashi ManaWed, 27 Nov 2019 17:19:16 +0900tag:mizunashi-mana.github.io,2019-11-27:/blog/posts/2019/11/support-more-web-using-babel/運用WebJavaScriptWebpackBabelブログhttps://mizunashi-mana.github.io/blog/posts/2019/11/trees-that-grow/<p>元ネタは <a class="reference external" href="https://www.microsoft.com/en-us/research/publication/trees-that-grow/">Trees that grow</a> ． Haskell では代数的データ型 (ADT) を使ってプログミングに使うデータ構造を定義し，その構造を操作するこ …</p>Mizunashi ManaSun, 17 Nov 2019 15:42:24 +0900tag:mizunashi-mana.github.io,2019-11-17:/blog/posts/2019/11/trees-that-grow/プログラミングHaskellGHCGHC拡張https://mizunashi-mana.github.io/blog/posts/2019/11/pipenv-on-wsl-debian/<p>久しぶりに Windows 上で環境構築をすることになったんだけど，その際 Pipenv をインストールするのにちょっと躓いたので，そ …</p>Mizunashi ManaThu, 14 Nov 2019 17:59:47 +0900tag:mizunashi-mana.github.io,2019-11-14:/blog/posts/2019/11/pipenv-on-wsl-debian/環境構築PythonDebianWSLhttps://mizunashi-mana.github.io/blog/posts/2019/10/lint-bslit-by-ghc-plugin/<p>Haskell はいくつかのリテラルで型クラスを使用したオーバーロードを許容している．例えば，Haskell で <tt class="docutils literal">1</tt> と書いた場合，この型 …</p>Mizunashi ManaMon, 28 Oct 2019 17:54:10 +0900tag:mizunashi-mana.github.io,2019-10-28:/blog/posts/2019/10/lint-bslit-by-ghc-plugin/フレームワークHaskellGHCリテラルGHC拡張https://mizunashi-mana.github.io/blog/posts/2019/09/nftables-on-debian/<p>Debian GNU/Linux 10 ，コードネーム buster が安定板リリースを迎え結構経ったので，そろそろアップグレード案件やるかみたいな感 …</p>Mizunashi ManaSat, 21 Sep 2019 07:10:24 +0900tag:mizunashi-mana.github.io,2019-09-21:/blog/posts/2019/09/nftables-on-debian/運用Debianiptablesnftablesファイアウォールhttps://mizunashi-mana.github.io/blog/posts/2019/09/scala-map-flatmap-trap/<p>Scala のコレクションライブラリは難しい．最近，強くそう思える事案に出くわしたので，そのメモ．なお，使った環境は以下 …</p>Mizunashi ManaTue, 03 Sep 2019 21:07:45 +0900tag:mizunashi-mana.github.io,2019-09-03:/blog/posts/2019/09/scala-map-flatmap-trap/プログラミングScalaCollection LibraryMap標準ライブラリhttps://mizunashi-mana.github.io/blog/posts/2019/08/set-of-natural-numbers-is-colimit/<p><span class="math inline"><span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>F</mi><mo separator="true">;</mo><mi>i</mi><mo>↦</mo><mo stretchy="false">{</mo><mi>n</mi><mo>∣</mo><mi>n</mi><mo>≤</mo><mi>i</mi><mo stretchy="false">}</mo><mo>:</mo><mi mathvariant="double-struck">N</mi><mo>→</mo><mrow><mi mathvariant="normal">P</mi><mi mathvariant="normal">o</mi><mi mathvariant="normal">s</mi><mi mathvariant="normal">e</mi><mi mathvariant="normal">t</mi></mrow></mrow><annotation encoding="application/x-tex">F; i \mapsto \{n \mid n \leq i\}: \mathbb{N} \to \mathrm{Poset}</annotation></semantics></math></span><span aria-hidden="true" class="katex-html"><span class="base"><span class="strut" style="height:0.8778em;vertical-align:-0.1944em;"></span><span class="mord mathnormal" style="margin-right:0.13889em;">F</span><span class="mpunct">;</span><span class="mspace" style="margin-right:0.1667em;"></span><span class="mord mathnormal">i</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">↦</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mopen">{</span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">∣</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.7719em;vertical-align:-0.136em;"></span><span class="mord mathnormal">n</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">≤</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal">i</span><span class="mclose">}</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">:</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.6889em;"></span><span class="mord mathbb">N</span><span class="mspace" style="margin-right:0.2778em;"></span><span class="mrel">→</span><span class="mspace" style="margin-right:0.2778em;"></span></span><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord"><span class="mord mathrm">Poset</span></span></span></span></span></span> みたいな directed diagram を考えた時，こいつの colimit は何に …</p>Mizunashi ManaFri, 30 Aug 2019 22:27:06 +0900tag:mizunashi-mana.github.io,2019-08-30:/blog/posts/2019/08/set-of-natural-numbers-is-colimit/数学Domain Theory束論順序理論https://mizunashi-mana.github.io/blog/posts/2019/07/local-do-and-first-type-class/<p>現在， GHC に <a class="reference external" href="https://github.com/ghc-proposals/ghc-proposals/pull/111">線形型の提案</a> がされていて活発に議論されている．プロトタイプも <a class="reference external" href="https://github.com/tweag/ghc/tree/linear-types">ここ</a> から利用可能だ． Docker イメージも利用 …</p>Mizunashi ManaSat, 27 Jul 2019 15:47:18 +0900tag:mizunashi-mana.github.io,2019-07-27:/blog/posts/2019/07/local-do-and-first-type-class/プログラミング言語HaskellGHCGHC拡張do構文型クラスhttps://mizunashi-mana.github.io/blog/posts/2019/07/call-arity-and-oneshot/<p>GHC は，最適化のため Call Arity と呼ばれるコード解析を行っている．この解析で，自由変数が何個引数を持っていいかを判定 …</p>Mizunashi ManaFri, 26 Jul 2019 22:54:20 +0900tag:mizunashi-mana.github.io,2019-07-26:/blog/posts/2019/07/call-arity-and-oneshot/プログラミング言語HaskellGHC融合変換コンパイラ最適化https://mizunashi-mana.github.io/blog/posts/2019/07/dokuwiki-syntax-plugin/<p>DokuWiki で Markdown が書けるプラグインを結構前に作った．で，たまにメンテしてるんだけど，そのメンテのために色々備忘録を残しておこうと思ったので，そのメモ．</p> <div class="section" id="auto-id-1"> <h2>DokuWiki …</h2></div>Mizunashi ManaSat, 20 Jul 2019 22:21:29 +0900tag:mizunashi-mana.github.io,2019-07-20:/blog/posts/2019/07/dokuwiki-syntax-plugin/ツールPHPWikiDokuWikiプラグインhttps://mizunashi-mana.github.io/blog/posts/2019/06/linear-types-in-docker/<p>現在， GHC に <a class="reference external" href="https://github.com/ghc-proposals/ghc-proposals/pull/111">線形型の追加提案</a> が出ている．その提案に合わせて，プロトタイプも公開されている．内容はあまり詳しく追 …</p>Mizunashi ManaFri, 28 Jun 2019 19:09:22 +0900tag:mizunashi-mana.github.io,2019-06-28:/blog/posts/2019/06/linear-types-in-docker/プログラミング言語Haskell線形型GHCDockerhttps://mizunashi-mana.github.io/blog/posts/2019/06/rust-generics-inside/<p>最近， (特に境界条件を伴った) 多相関数が言語ごとにどういうコードを吐くかが気になったので， Haskell とコードの生成方 …</p>Mizunashi ManaMon, 24 Jun 2019 17:29:50 +0900tag:mizunashi-mana.github.io,2019-06-24:/blog/posts/2019/06/rust-generics-inside/プログラミング言語Rust多相関数ジェネリクストレイトhttps://mizunashi-mana.github.io/blog/posts/2019/06/graded-monad-to-monad/<p>graded monad から monad への埋め込みについて，考えたので，その覚書．</p> <div class="section" id="monad"> <h2>エフェクトシステムを monad で近似する<a class="headerlink" href="#monad" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>エフェクトシステムに …</p></div>Mizunashi ManaThu, 13 Jun 2019 15:37:51 +0900tag:mizunashi-mana.github.io,2019-06-13:/blog/posts/2019/06/graded-monad-to-monad/数学エフェクトシステムモナド圏論https://mizunashi-mana.github.io/blog/posts/2019/06/graded-monad-in-scala/<p>Graded Monad のメタ言語，普通にプログラミング言語で実装できそうやなって思って，ちょっとやってみることにした．で，前ね …</p>Mizunashi ManaFri, 07 Jun 2019 22:33:29 +0900tag:mizunashi-mana.github.io,2019-06-07:/blog/posts/2019/06/graded-monad-in-scala/構想エフェクトシステムモナドScalahttps://mizunashi-mana.github.io/blog/posts/2019/06/graded-monad-and-effects/<p>graded monad について聞きかじって，色々調べたのでそのメモ． graded monad はエフェクトシステムの categorical semantics 作るときに使われてるらしい．エフェクトシステ …</p>Mizunashi ManaThu, 06 Jun 2019 16:13:18 +0900tag:mizunashi-mana.github.io,2019-06-06:/blog/posts/2019/06/graded-monad-and-effects/数学圏論エフェクトシステムモナドプログラム意味論https://mizunashi-mana.github.io/blog/posts/2019/05/spark-installation-for-try/<p>Spark は <tt class="docutils literal"><span class="pre">spark-shell</span></tt> という対話式のお試し環境がついていて，かなりちょっと実行してみる系がやりやすそう．なので，そのための …</p>Mizunashi ManaTue, 21 May 2019 14:33:33 +0900tag:mizunashi-mana.github.io,2019-05-21:/blog/posts/2019/05/spark-installation-for-try/環境構築並列分散処理SparkHadoopDockerhttps://mizunashi-mana.github.io/blog/posts/2019/05/ghc-with-llvm/<p>GHC で LLVM を通してビルドをしたかったので，設定した．その備忘録．</p> <div class="section" id="macos-llvm-ghc"> <h2>macOS で LLVM を GHC が使えるようにする<a class="headerlink" href="#macos-llvm-ghc" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>GHC が対応してる LLVM の …</p></div>Mizunashi ManaFri, 17 May 2019 14:47:18 +0900tag:mizunashi-mana.github.io,2019-05-17:/blog/posts/2019/05/ghc-with-llvm/環境構築HaskellGHCLLVMmacOSHomebrewhttps://mizunashi-mana.github.io/blog/posts/2019/05/ghc-io-inside/<p>Haskell の IO モナドって，中身どうなってたんだろと気になってて，ちょっと調べてみた．そのメモ．</p> <div class="section" id="io-realworld"> <h2>IO モナドと RealWorld<a class="headerlink" href="#io-realworld" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>まずは基本 …</p></div>Mizunashi ManaFri, 17 May 2019 14:47:08 +0900tag:mizunashi-mana.github.io,2019-05-17:/blog/posts/2019/05/ghc-io-inside/プログラミング言語HaskellGHCIOhttps://mizunashi-mana.github.io/blog/posts/2019/05/cluster-distributed-programming/<p>ちょっと興味があったので， Apache Spark 関連についていくつか調べたことメモる．なお，僕は最近まで Apache Spark は MapReduce してると思っ …</p>Mizunashi ManaSun, 12 May 2019 22:29:06 +0900tag:mizunashi-mana.github.io,2019-05-12:/blog/posts/2019/05/cluster-distributed-programming/フレームワーク並列分散処理SparkHadoopMapReduceグラフhttps://mizunashi-mana.github.io/blog/posts/2019/05/add-sentry-monitoring/<p>クロスプラットフォームのエラー監視を行う Sentry というサービスがある．ブログに試しに導入してみたので，それにつ …</p>Mizunashi ManaThu, 02 May 2019 16:43:30 +0900tag:mizunashi-mana.github.io,2019-05-02:/blog/posts/2019/05/add-sentry-monitoring/運用ブログ監視JavaScripthttps://mizunashi-mana.github.io/blog/posts/2019/05/cpo-related-definitions/<p>某勉強会がコーヒーブレイクタイムに入って，ブレイクタイムから抜けたら何もかも忘れてそうだったので，数式レ …</p>Mizunashi ManaThu, 02 May 2019 16:33:51 +0900tag:mizunashi-mana.github.io,2019-05-02:/blog/posts/2019/05/cpo-related-definitions/数学Domain Theory束論順序理論表示的意味論本https://mizunashi-mana.github.io/blog/posts/2019/04/to-use-serverside-katex/<p>ふと， KaTeX ってサーバサイドレンダリングできないかと思って試してみたら，普通に楽にできそうだったので，ブログで …</p>Mizunashi ManaSun, 28 Apr 2019 16:10:54 +0900tag:mizunashi-mana.github.io,2019-04-28:/blog/posts/2019/04/to-use-serverside-katex/運用KaTeXPelicanブログPythonNode.jsJavaScripthttps://mizunashi-mana.github.io/blog/posts/2019/04/about-oss-licenses/<p>Haskell-jp でちょっと話題になったので， OSS ライセンスについての個人的な色々を書いておこうと思う．なお，僕は OSS にも著作権にも明るくないので …</p>Mizunashi ManaThu, 25 Apr 2019 18:58:21 +0900tag:mizunashi-mana.github.io,2019-04-25:/blog/posts/2019/04/about-oss-licenses/規範ライセンスOSSGPLhttps://mizunashi-mana.github.io/blog/posts/2019/04/scala-compile-inside/<p>先日， Scala コードの裏側について幾つか話を聞いた．で，気になったので実際に JVM コードを出して，色々見てみることにした．なお，当方 Scala 初心者 …</p>Mizunashi ManaWed, 24 Apr 2019 14:04:52 +0900tag:mizunashi-mana.github.io,2019-04-24:/blog/posts/2019/04/scala-compile-inside/プログラミング言語ScalaJavaJVM最適化https://mizunashi-mana.github.io/blog/posts/2019/04/bye-mathml-hello-katex/<p>以前ブログで数式環境を， MathML と MathJax で導入した．ただ色々敗北したので KaTeX を使うことにした．その備忘録．</p> <div class="section" id="mathml"> <h2>MathML に敗北した<a class="headerlink" href="#mathml" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>正確には， MathML は悪 …</p></div>Mizunashi ManaMon, 22 Apr 2019 02:33:08 +0900tag:mizunashi-mana.github.io,2019-04-22:/blog/posts/2019/04/bye-mathml-hello-katex/運用PelicanMathMLブログreStructuredTextJavaScriptCSShttps://mizunashi-mana.github.io/blog/posts/2019/04/haskell-old-stg-syntax/<p>先日 STG の動作について説明する機会があったんだが，ちゃんと説明できなかった．で，ちょっとこれじゃまずいって思 …</p>Mizunashi ManaFri, 19 Apr 2019 20:08:35 +0900tag:mizunashi-mana.github.io,2019-04-19:/blog/posts/2019/04/haskell-old-stg-syntax/プログラミング言語Haskell抽象機械GHChttps://mizunashi-mana.github.io/blog/posts/2019/04/about-unified-diff-style/<p>パッチファイルの形式にはいくつかあるわけだが， <cite>git</cite> の <cite>diff</cite> で使われている形式について，ちょっと調べたのでそのメ …</p>Mizunashi ManaThu, 18 Apr 2019 22:00:59 +0900tag:mizunashi-mana.github.io,2019-04-18:/blog/posts/2019/04/about-unified-diff-style/ツールdiffパッチhttps://mizunashi-mana.github.io/blog/posts/2019/04/add-tooltip-for-footnote/<p>脚注をツールチップで見れるようにしたので，それについて．</p> <div class="section" id="restructuredtext"> <h2>reStructuredText の脚注<a class="headerlink" href="#restructuredtext" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>reStructuredText では脚注が使える．これは，以下のように書け …</p></div>Mizunashi ManaMon, 15 Apr 2019 22:06:18 +0900tag:mizunashi-mana.github.io,2019-04-15:/blog/posts/2019/04/add-tooltip-for-footnote/運用ブログPelicanJavaScriptCSShttps://mizunashi-mana.github.io/blog/posts/2019/04/fix-overflow-settings/<p>ブログの CSS で，幅がはみ出るような要素のスタイルを幾つか修正したので，その対応記録．</p> <div class="section" id="auto-id-1"> <h2>経緯<a class="headerlink" href="#auto-id-1" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>うちのブログではタイ …</p></div>Mizunashi ManaMon, 15 Apr 2019 13:27:48 +0900tag:mizunashi-mana.github.io,2019-04-15:/blog/posts/2019/04/fix-overflow-settings/運用PelicanブログCSShttps://mizunashi-mana.github.io/blog/posts/2019/04/fix-math-settings/<p>reStructuredText は数式表示に対応している．ただデフォルトのレンダリング表示がいまいちだったので，ちょっといじった．その備 …</p>Mizunashi ManaSun, 14 Apr 2019 19:44:55 +0900tag:mizunashi-mana.github.io,2019-04-14:/blog/posts/2019/04/fix-math-settings/運用PelicanMathMLブログreStructuredTextMathJaxJavaScripthttps://mizunashi-mana.github.io/blog/posts/2019/04/generalizing-transformation/<p><a class="reference external" href="https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238">https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238</a> の記事に触発されて，ちょっと書く気になった．こちらも面白い記事なので，ぜひ参照してほしい …</p>Mizunashi ManaSat, 13 Apr 2019 20:42:41 +0900tag:mizunashi-mana.github.io,2019-04-13:/blog/posts/2019/04/generalizing-transformation/直感HaskellGHCGHC拡張標準ライブラリhttps://mizunashi-mana.github.io/blog/posts/2019/04/add-sitemap/<p>sitemap とかを追加してみたので，それの備忘録．</p> <div class="section" id="auto-id-1"> <h2>sitemap 周辺ファイルの追加<a class="headerlink" href="#auto-id-1" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>まず Pelican で sitemap を生成させる．これは <tt class="docutils literal">sitemap</tt> プラグインを追 …</p></div>Mizunashi ManaWed, 10 Apr 2019 14:06:02 +0900tag:mizunashi-mana.github.io,2019-04-10:/blog/posts/2019/04/add-sitemap/運用SEOブログPelicanGoogle Analyticshttps://mizunashi-mana.github.io/blog/posts/2019/04/read-ctmcp/<p>ゼミの輪読で， <a class="reference external" href="https://www.amazon.co.jp/dp/0262220695">Concepts, Techniques, and Models of Computer Programming (MIT Press)</a> ，略称 CTM または CTMCP を読むことになった．その為の準備と，ちょっとだけ読んだのでそ …</p>Mizunashi ManaMon, 08 Apr 2019 18:50:49 +0900tag:mizunashi-mana.github.io,2019-04-08:/blog/posts/2019/04/read-ctmcp/学習MozartOzEmacs本環境構築https://mizunashi-mana.github.io/blog/posts/2019/04/add-google-analytics/<p>Google Analytics を導入したので，やったことをまとめた．</p> <div class="section" id="id"> <h2>トラッキング ID の設定<a class="headerlink" href="#id" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>既に Analytics のアカウントは持っていたので，そのアカ …</p></div>Mizunashi ManaMon, 08 Apr 2019 12:33:29 +0900tag:mizunashi-mana.github.io,2019-04-08:/blog/posts/2019/04/add-google-analytics/運用PelicanブログGoogle AnalyticsSEOhttps://mizunashi-mana.github.io/blog/posts/2019/04/ghc-compiler-notes/<p><a class="reference external" href="https://github.com/myuon/ghc-compiler-notes">https://github.com/myuon/ghc-compiler-notes</a> にコントリビュートしたので，それについてと考えてることとか書く．</p> <p>なお， myuon さんによる紹介記事も参照 …</p>Mizunashi ManaSun, 07 Apr 2019 00:31:37 +0900tag:mizunashi-mana.github.io,2019-04-07:/blog/posts/2019/04/ghc-compiler-notes/構想HaskellGHChttps://mizunashi-mana.github.io/blog/posts/2019/04/add-share-button/<p>ブログに共有ボタンを追加して， JavaScript を呼べるようにした．</p> <div class="section" id="auto-id-2"> <h2>導入までの経緯<a class="headerlink" href="#auto-id-2" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>Pelican には CSS を追加する仕組みはあるが， JavaScript を追 …</p></div>Mizunashi ManaFri, 05 Apr 2019 03:51:33 +0900tag:mizunashi-mana.github.io,2019-04-05:/blog/posts/2019/04/add-share-button/運用PelicanブログPythonJavaScripthttps://mizunashi-mana.github.io/blog/posts/2019/04/python-datetime/<p>色々ハマったので，メモをしておく．</p> <div class="section" id="aware-naive"> <h2>aware と naive<a class="headerlink" href="#aware-naive" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>Python の <tt class="docutils literal">datetime</tt> モジュールでは，日付情報を表現する <tt class="docutils literal">date</tt> オブジェクト，日中時間を表現する <tt class="docutils literal">time</tt> オブ …</p></div>Mizunashi ManaWed, 03 Apr 2019 23:34:50 +0900tag:mizunashi-mana.github.io,2019-04-03:/blog/posts/2019/04/python-datetime/プログラミングPython標準ライブラリhttps://mizunashi-mana.github.io/blog/posts/2019/04/fix-blog-config/<p>ブログの改良をちょっと色々やってたので，そのご報告．</p> <div class="section" id="circle-ci"> <h2>Circle CI での謎の警告解消<a class="headerlink" href="#circle-ci" title="Permalink to this headline"><i class="fas fa-link anchor-link"></i></a></h2> <p>今まで Circle CI 上だと以下の警告が出てた:</p> <pre class="literal-block"> WARNING: Locale could not be …</pre></div>Mizunashi ManaTue, 02 Apr 2019 06:17:35 +0900tag:mizunashi-mana.github.io,2019-04-02:/blog/posts/2019/04/fix-blog-config/運用PythonPelicanブログCircleCIhttps://mizunashi-mana.github.io/blog/posts/2019/03/start-blog/<p>色々あって，技術的なことを書くブログを始めようと思いました (まる) ． 今までは， Advent Calendar の時期だけ Qiita に記事を書いてたりした …</p>Mizunashi ManaSun, 31 Mar 2019 23:00:38 +0900tag:mizunashi-mana.github.io,2019-03-31:/blog/posts/2019/03/start-blog/運用PythonPelicanブログGitHub