コンビネータ

スパイダー付き圏を定義したので、以前から使っていた描画技法の話ができますね(ニコ)。現実には存在しない射だけど、ストリング図では“射であるかのごとく”に描くと便利なもの -- 仮想スパイダーの話をします。$`% \newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\id}{ \mathrm{id} } \newcommand{\In}{ \text{ in } } \require{color} \newcommand{\Keyword}[1]{ \textcolor{gree…

05/16(月) 先週は週記を投稿してからすぐ布団に入った。しかしそこからしばらくYouTubeを見てしまって、寝たのは正午だった。 午後4時前に起床。インターン先定例会までの短い時間で、多少なりとも進捗を出しておこうと思って調べ物をしていた。それでも進捗はゴミカス。今週は火曜日にミーティングがあるので、否が応でも何か進むだろう。 他の人の発表を聞きつつ、勉強会スライドの確認と手直しをしていた。文字に色を付けたり。定例会が長引き、普段より遅い時間から勉強会が始まった。使用したスライドは公開してある。 勉強会0516.pdf - Google ドライブ テーマは関数型言語で、ラムダ計算の導入、そ…

マルコフ圏を普及させた当事者であるフリッツ〈Tobias Fritz〉達は、モナドを備えたマルコフ圏の定義も試みています。 Title: Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability Authors: Tobias Fritz, Tomas Gonda, Paolo Perrone, and Eigil Fjeldgren Rischel Date: 30 Oct 2020 (v2) Pages: 69p URL: https://arxi…

『あなた方が、自分がどのような存在であるかを、より大きな意味で再定義するべきときが来ています。 あなたを初めとして、政治的指導者たちの考えもおよばないような出来事が、いま、この宇宙で起きつつあります。 あなた方は、神についてもっている愚かしい考えを捨てなければなりません。 つまり、特別な才能や能力をもった存在が空から地球に降りてきて、彼らは、皆、霊的な存在であるという考えです。 人類は、これから数年間にわたって、非常に憂慮すべき事実を発見することになるでしょう。 私たちは、光の家族の命令によって、あなた方に準備させ、あなた方が、これを理解し、さまざまな選択についての情報が得られるようにしている…

ファームウェアエンジニアの中林 (id:tomo-wait-for-it-yuki) です。大好評の組込みRustで使えるライブラリをゆるく紹介していく「ぶらり組込みRustライブラリ探索の旅」シリーズ、第2弾はATコマンドクライアントライブラリのatatです。 私ごとですが、拙著「基礎から学ぶ組込みRust」ではネットワーク接続して遊ぶ、という内容が書けておらず、ずっとリベンジの機会を伺っています。atatは組込みRustでネットワーク接続して遊ぶ上で有力な選択肢になりそうなcrateです。 atat 本エントリ内で紹介する使い方や内部実装は、v0.16.1をもとにしています*1。 gith…

04/25(月) 先週の週記を投稿してから。学食に行って食事し、今日もまた予約していた新刊ラノベを受け取って帰ってきた。そこから1時間インターン関連のコーディングをした。一度寝たら定例会まで起きられないことが分かっているので、寝る前に進めておこうという魂胆。一応少しだけ進んだのでちょっと満足し、切り上げた。後は布団に入ってすぐ寝るつもりが、うっかりハーメルンを読み始め、睡眠時間が1時間ほど減ってしまった。午後1時就寝。 午後4時起床。布団の上で20分くらい意識朦朧としていた。何とか起き上がって定例会へ。今日報告する進捗は朝方の1時間のみで、内容が薄い以外は問題なく終了。 勉強会の内容は数学だっ…

文字列操作関数集その２ LAMBDA 関数を使った数式によるユーザー定義関数（カスタム関数）として、実用的でコピペで使えるサンプルコードをまとめていきたいと思います。 使い方は以下の記事を参照してください。 www.shegolab.jp 本記事では文字列操作関連のツールとしてよく使いそうな、検索、置換、変換等の機能を主に集めました。

John McCarthyの1960年に発表された論文Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part Iのメモ。 背景 「Artificial Intelligence」という用語の名付け親であるMcCarthyが、自身が助手らと作ったLISP言語を世に出した論文である。ちなみにPart IIは存在しない。 1960年ということはFORTRANやALGOL58はすでに出ているが、CやPASCALの登場の10年以上前（Cは1972、PASCALは1970）。COBOLの言語仕様が…

前回の言語に関数定義・適用を追加する。 単一引数の関数 まずは変更を簡単にするために「単一引数の関数」を実装する。 関数自体の式であるFnと関数適用のCallをASTに追加： type t = ... | Fn of string * t | Call of t * t α変換は関数式に関しては（仮引数によって変数が導入されているので）genidで新しい変数を割り当てる必要がある： let rec g env e = match e with ... | A.Fn(s,e) -> let s' = genid s in A.Fn(s', g ((s,s')::env) e) | A.Call(…

またか. またなのか. 何回目だ. ということで, ラムダ計算のインタプリタの実装としては4回目くらい*1, コンパイル時計算でやるものとしても3回目くらいになってしまうけど, ラムダ計算の処理系をまた書いてしまった.今回の目的は, Scala 3にはmatch typesという機能があり, これだけでチューリング完全なのではないか, というのを検証するため. また, 文字列リテラル型を操作する型レベル関数が3.1.2-RC1にきていて, これを使えば構文解析器だって書ける. *1:OCamlのサブセットとかJavaのサブセットとか他の言語も含めるともっと多い

blog.magnolia.tech パーサーコンビネータ scala-parser-combinators Scalaのパーサコンビネータライブラリと言えば、元々は標準ライブラリだったscala-parser-combinatorsが有ります。今では分離され、Scalaの標準のディストリビューションとは別に開発が進められています。 github.com 言語の標準ライブラリでパーサコンビネータが用意されているのは珍しいと思ったのですが、結局Scala 2.13からは標準ライブラリからは外されました。外部DSLを作るのに便利なんですけどね。 コップ本でも第4版までは最後の方で触れられていますが…