Vim のマッピングで Fizzbuzz 問題を解く - Humanity
この記事は Vim Advent Calendar 2016 19日目の記事です。 締め切りがない世界に行きたいと言いつつ、締め切りがなければ何もしないニート根性の tyru です。メリークリスマス！！(錯乱) (レジスタ編) Fizzbuzz 問題のコード 以前私はこんなコードを Gist に投稿したことがあります。 パッと見て何をするコードかわかるでしょうか。 " " doit -> -> getchar:{num} -> fizzbuzz:{type} " nmap <expr> doit join(map(range(1, 100), '"<SID>getchar:entry:".v:val."\<Esc>"'),'') nmap <expr> <SID>getchar:entry [setreg('n', '', 'c'), "<SID>getchar"][1] nmap <ex
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation Free Course in Automata Theory I have prepared a course in automata theory (finite automata, context-free grammars, decidability, and intractability), and it begins April 23, 2012. You can learn more about the course at www.coursera.org/course/automata. Several other courses will start at the same time, including Alex Aiken on Compilers,
飲み会で孤立しないためのセル・オートマトン - mirandora.com
12月の忘年会が終われば1月の新年会、 3月の解散会、4月のキックオフ会、など、 社会人は年末年始から春にかけては、特に飲む機会が多いように思います。 さらに土日にも、結婚式の２次会などがある方もいることでしょう。 さて、ここで重要なことは、“いかにして孤立しないか”、となります。 しかし、従来、多くの場合においてそれはコミュニケーション上の問題と誤解されておりました。 プログラマであれば、 それはコミュニケーション上の課題ではなく、プログラミングで解決するべき課題である、 と認識すべきかと思います。 飲み会における、前提条件は多くの場合、下記のとおり整理できます。 ・他の参加者のうち、自分と親しい人の位置が重要である。 ・親しい人が周りに多ければ孤立しないが拡がりは無い。 ・しかし親しくない人に囲まれると孤立する。 ・ある程度親しい人が周りにいるときのみ、親しくなかった人とも親しくなり交
形式言語理論のための代数 - 檜山正幸のキマイラ飼育記 (はてなBlog)
形式言語理論は、かなりの程度、代数的に定式化できます。例えば、形式言語の全体は順序半環、オートマトンはその順序半環を係数とする正方行列だと思えます。オートマトンの初期状態と終状態、オートマトンのあいだの模倣（simulation）関係なども行列により表現できます。 ここでは、できるだけ手短に形式言語理論のための代数、特に半環係数行列の概念を説明します。形式言語とオートマトンの基礎事項についても概要を述べますが、とてもラフな記述なので、他の資料や教科書で予備知識は仕入れておいたほうがいいでしょう。図を多用して幾何的・物理的な比喩を使うと分かりやすくなるとは思うのですが、今回は絵は描きませんでした。絵による説明はまたの機会に。 目標はオートマトンと模倣の圏を作ることです。オートマトンは代数的には正方行列となります。関係圏Rel（の部分圏）をインデキシング圏とするインデックス付き圏を作り、そのグ
I hate the Pumping Lemma
I hate the Pumping Lemma for regular languages. It’s a complicated way to express an idea that is fundamentally very simple, and it isn’t even a very good way to prove that a language is not regular. Here it is, in all its awful majesty: for every regular language L, there exists a positive whole number p such that every string w∈L that has p characters or more can be broken down into three substr
Büchi automaton - Wikipedia
A Büchi automaton with two states, and , the former of which is the start state and the latter of which is accepting. Its inputs are infinite words over the symbols . As an example, it accepts the infinite word , where denotes the infinite repetition of a string. It rejects the infinite word . In computer science and automata theory, a deterministic Büchi automaton is a theoretical machine which e
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://xavierleroy.org/publi/validated-parser.pdf