メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。雑記/備忘ここのところ、ラムダ計算ベースのプログラム意味論とか、また考えてます。フレイド圏を基本的な道具にしようかと。ベーシックなフレイド圏に対して追加したい構造には次のようなものがあるでしょう。Hughes)によって導入されたプログラミング手法/計算モデルです。「TypeScriptと関手やモナドなど」において、TypeScriptでリストモナドを書いてみたのですが、コモナド(モナドの双対概念)も扱ってみます。通常、リストモナドと呼ばれているものは、リスト関手の上の載っている自然変換による代数構造です。身に覚えがないメールが来たのが発端。アマゾンに注文したご本人であるX氏宛のメールが檜山に届きました。型構成子と型パラメータを持つ関数があれば、とりあえずモナドは定義できるのですが、モナドを構成する型構成子と総称関数達をうまくまとめる機構が欠けている感じはします。TypeScriptの「まとめる機構」にモジュール...2015-03-24TypeScriptの型は、データの妥当性をどこまで守ってくれるのか?雑記/備忘TypeScript、ごく最近、初めて触りました。名前にTypeと付いているくらいだから、型システムがウリのひとつなんでしょう。見ですが、TypeScriptの型システム、なかなか良さそうです。意地悪に、うまくいかなそうなケースをツツいてみました。例...2015-03-22TypeScriptと関手やモナドなど雑記/備忘2008年に書いた記事「CPS(継続渡し方式)変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ」はCPSの説明にJavaScriptを使っています。引数を持たない純関数と定数って、区別すべきでしょうか。同じものだとしちゃうか、という問題です。(副作用の話とかは考えません。)別にどうでもいい些細なことのようですが、この問題のせいで微妙な齟齬...2015-03-19させていただきました日常いつからか、「させていただきます」「させていただきました」をよく聞くようになりました。最初は、政治家が使っているのが印象に残ったんだけど、いつのまにかみんなが使うように。次の可能性を考えました。アマゾンに複数のメールアドレスを登録できる。複数のメールアドレスに通知が同報される。そのうちのひとつのメールアドレスを間違えて入力。起こった事」ってセリフは適当じゃないです)、詐欺メールみたいなのが来たのですが、なんか本物のようなんです。間欠的にラムダ計算に対する興味が再燃するのですが、今はその時期かも。Coqを触ったみたのが刺激になったようです。最近の「型付きラムダ計算のモデルの作り方」、「セマンティック駆動な圏的ラムダ計算とシーケント」と、ラムダ計算の記事が続いてます。「型付きラムダ計算のモデルの作り方」の最後において次のように述べました。デカルト閉圏によるモデル構成はちゃんとやってみたほうが良いんじゃないかな、と思いながらも割とイイカゲンな記述でした。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。