ptera 式 PEG パーサ生成法
最近 PEG パーサジェネレータライブラリを作っているんだが，一旦区切りがついたので忘れないうちに備忘録をまと …
続きを読む
Happy のコンフリクトレポートと向き合う
Haskell には，Happy と言う名前のパーサジェネレータがある．基本的には，yacc と同じような使い勝手のジェネレータで，GHC で使用 …
Unicode とサロゲートコードポイント
Unicode は、文字コードの標準を目指して創設された規格であり、文字をどう処理するか、テキストデータとしてどう表すか …
ハイティング代数の性質
古典論理の意味論がブール代数によって議論できるように，直観主義論理の意味論はハイティング代数によって考 …
Prometheus Operator で k8s を監視する
2020年07月26日に投稿 • カテゴリ：運用 • タグ：Prometheus、Grafana、Kubernetes、Docker
Prometheus は、メトリクスの監視を行うためのモニタリングツールだ。各種メトリクスを出す exporter とそれを集計する Prometheus サーバ、及 …
CBC mode に対しての Padding Oracle Attack
共通鍵暗号の暗号方式としてよく用いられている暗号の種類として，ブロック暗号がある．ブロック暗号は，暗号方式 …
BlockArguments で括弧を書かない生活を送る
GHC 8.6 から BlockArguments という拡張が入った．これは構文拡張で，Haskell 2010 で必要だった幾つかの括弧を省略できるようにするもの …
XCode でビルドするときに引っかかったところ
2020年06月18日に投稿 • カテゴリ：ツール • タグ：XCode、Objective-C、iOS、ビルド
XCode を使ってる時，ちょっと検索しにくい問題に2件当たったので，備忘録として残しておく．
gRPC クライアントをAndroid アプリで書く
2020年04月19日に投稿 • カテゴリ：フレームワーク • タグ：Kotlin、Java、Gradle、Android、gRPC
単純に gRPC クライアントを Android アプリで書いて，mock サーバを Kotlin で書くだけなのにすごく苦労したので，備忘録的に書いと …
Coherent Implicit Parameter
アドホック多相を実現する方法として，型クラスがある．型クラスは，辞書渡しと呼ばれる方法により，かなり自然に elaboration …