kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

エアリプをやめよう

こんばんは、kmizuです。表題の件についてですが、少し前の私への自戒として、あるいは、エアリプ多めの方々に対して思うことです。 まず、最初に、エアリプについて。特に、ツイッターでよく使われる言葉で、特定の相手に対して反応する意図がありながら、…

心因性発熱という病気

私をご存知の方は、ひょっとしたら心当たりがあるかもしれませんが、私は昔から、高いストレスがかかるときに、しばしば熱を出していました。知恵熱とかいうのではなく、実際に37.5℃~38.2℃くらいの熱が出ます。特に、社会人になってから、体調不良で会社お…

メモリ使用量の削減のために遅延リストを使うのは(多くの場合)アンチパターン

こんばんは。ちょっと久しぶりにScalaの記事を書いてみようと思い立って、こうやって記事を書くことにしました。 といっても、タイトルがほとんど全てを表しているのですけど。 最近のプログラミング言語のいくつかは、俗に遅延リストと称される機能を持って…

パーサコンビネータとPEGの違いについて

ちょっとTwitterの某所で議論を見かけたので、この辺の用語についてまとめておきたい気分です。 まず、パーサコンビネータ(Parser Combinator)というのは、パーサをオブジェクトないし関数ととらえて、パーサを組み合わせて複雑なパーザを組み合わせる技法…

ウォーキング習慣さらに強化中

最近、ほとんど毎日(例外は、雨の日と、朝早めに予定がある時くらい)、1時間約6km程度のウォーキングを実践しています。2月になってからでいうと、18日中15日はウォーキングしてるので、週5日以上歩いてる感じですね。 1月よりさらにウォーキングの継続度…

最近のウォーキング

去年の春ごろに、 kmizu.hatenablog.com なんてエントリを書いたりしましたが、それから約半年程度経ってどうなったかというと……とりあえず、習慣として歩くのが定着するようになりました。 さすがに、毎日必ずウォーキングをする(例外は認めない)の部分は…

ジョグ&ウォーク記録(2020/10/21)

今日は、目標として - いつもと全く違うコースを走る - ジョギングのみ(歩かない) というのを掲げて走ってみましたが、気がついたらあっちこっち走ってて、10kmいってました。後半は完全にランナーズハイの勢いで走ってました。明日はさすがに足を休めよう…

ジョグ&ウォーク記録(2020/10/20)

今日は、1/5くらいジョギングという感じでした。徐々にジョギング比率を増やして行こうかなというところです。

ジョグ&ウォーク記録(2020/10/15)

今朝は寝坊したので、短めにちょろっとでした。出来るだけ長く続けたいものですね。

ジョグ&ウォーク記録(2020/10/14)

だいぶ、6km超のウォーキングにも身体が慣れてきた気がします。

ジョグ&ウォーク記録(2020/10/13)

少し間が空きましたが、断続的に歩いてます。

ジョグ&ウォーク記録(2020/10/07)

先週から、久しぶりにウォーキングを再開したので、ブログに記録してみることにしました。コースは、浅草橋通り→清澄通り→京葉道路→四つ目通りでほぼ固定ですが、歩きやすくていいウォーキングコースです。 ペースがやけに遅いですが、時々立ち止まって景色…

構文解析歴20年近くになりました

まえがき タイトルが一体何言ってるんだお前は、という感じのものなのですが、初めて構文解析器ぽいものを書き始めてから、たぶん20年くらい経ったかなくらいの意味です。私を知っている方はご存知かも知れませんが、修士~博士にかけての私の研究テーマは、P…

06/16(火) Scala関西勉強会 - 2020年06月版で「Scalaで作る!プログラミング言語」の発表をして来ました

コロナ禍の影響で、各種イベントが軒並みオンライン開催になった昨今、ちょっとオンラインイベントで発表してみようということで参加することにしました。 connpass.com ちなみに、Scala関西では、Discordを使ったオンライン開催をされているようです。私もD…

【月1言語企画】文法がVBぽいだけのプログラミング言語VBLを作ってみた

3〜5月にかけて、月1プログラミング言語企画が続いていない、これは良くない!ということで、急遽お茶を濁すために作った言語です。基本的に、Klassicをベースに構文だけVBぽくした言語です。リポジトリは以下です。 github.com 次のような構文が使えます…

毎日ウォーキング(例外無し)を始めて10日経ちました

新型コロナウイルス関係で、2月下旬頃からほぼ完全リモートが続いているのですが、運動不足がいい加減ひどいので、毎日必ずウォーキング習慣というのを始めてみました。ルールは簡単で 毎日必ずウォーキングをする(例外は認めない) 時間があるときは1時間…

【月1言語企画】まだ実装されてないけど、関数名は決まってるという意図を表現可能な静的型付き言語Funtomを作ってみた

こんばんは。今日は、月1言語企画の一環として作成したプログラミング言語Funtomを紹介したいと思います。 github.com というか、ついさっきプロトタイプができたばかりなんですが。 基本的には、ほぼ自作のプログラミング言語Klassic github.com をベース…

書評:プログラミング言語大全

プログラミング言語大全作者:クジラ飛行机発売日: 2020/04/18メディア: 単行本(ソフトカバー) 技術評論社の編集さんから、「プログラミング言語に詳しい人」枠でなんだか献本いただきました。ただ、タイトルを見た時点でそこはかとなく不安があったので、…

ちょっと行列作りますね言語Matlikeを作りました

注:この記事は、2020年1月にQiitaに投稿した自作言語Matlikeについての記事のリメイクです。アカウントを消して元の記事が全部消えたので、移植ではなくリメイクです。 はじめに 私は、2019年12月から、1か月1言語計画というのを始めています。要はどんなダ…

Scalaを学ぶと何が嬉しいかを考えてみる

まえがき 「Scalaを学んで何が嬉しいか」ていうのは、人によって様々な答えがあると思いますが、最近ようやく自分なりの答えが出た気がするので書いてみます。 Scala採用企業で働くのに手っ取り早い 多くの人の言語を学ぶ動機は、就職や転職に役立つというも…

Scalaを手っ取り早く学ぶのに適したリソースを紹介する(2020年版)

はじめに こんにちは。水島です。例のQiita炎上の件で、「ああ、これはもう自分向きのサービスじゃないな」と思ってサックリとアカウント消して退会したわけですが、ちょっとこれくらいはレスキューしておけば良かったな…と思った記事があったので、リライト…

コード履歴書とかいうものを書いてみた

巷ではやっているらしい。想い出話を含めて書き起こしておくと、後の自分の役に立つかもと思ったので、書いてみる。 この他に、大学1年からプログラムを書くバイトをしてたので、C++で書かれたCORBA処理系をいじくったり、Ethernet層に相当する何かの実装を…

ダイエット振り返り - 2020/01/01~2020/01/19

元旦にダイエット宣言してから、半月ほど経ったので、ちょっと振り返ってみたいと思います。まずはグラフです。 2020年1月1日~2020年1月19日までの体重変化 元旦が83.8kgで、今朝が82.2kgです。その間、食事や水分摂取による上下があったことを考慮しても、…

IT系勉強会の参加者にお願いしたい、たった3つのこと

私は、大学院生時代含めれば、2008年から色々な勉強会を開催していて、直近数年でもそこそこの数を開いています。その動機は、技術を布教したいとか、ある分野を学ぶ人の助けになりたいとか、単に雑談の場を作りたいとか色々ありますが、別段高尚な意識があ…

山手線一周ウォーキング(二度目)をしてきました

一度目のときの記録 ⚡️ “山手線一周ウォーキングの記録 by @kmizu”https://t.co/9qvGAnqu43— Kota Mizushima (on a diet) (@kmizu) 2017年5月4日 今回の記録 ⚡️ “山手線ウォーキング二度目 in 2020/01/04”https://t.co/eg4NVS3ZSj— Kota Mizushima (on a die…

ダイエットします - 目標体重71kg

あけましておめでとうございます。1月1日ということで、きりがいいので、今年の目標の一つ(大きなもの)をまず宣言しておくことで、自分を追い込むメソッドを使ってみようと思います。 現在、私の身長は173cm、体重は83.4kg(今朝の起床時)。BMIは27辺りで…

WORDIAN Advent Calendar 2019/12/22: プログラミング言語Klassicの紹介

まえがき この記事はWORDIAN advent calenderの22日目の記事です。 以前にこのブログでも触れたことがあるのですが、私が開発中のプログラミング言語Klassicについて紹介します。 Klassicの紹介 リポジトリはこちら。Scala環境があれば、ビルド&実行できま…

ポモドーロ・テクニックぽいもの(仮)をできるだけ厳密に実践してみた

ポモドーロ・テクニックぽいもの(仮)をできるだけ厳密に実践してみた結果です。

Macro PEG再考:名前呼び出しと値呼び出し

Macro PEGは、私が2016年頃に、PEGに対する拡張として提案したものです。2016年のプログラミング研究会で発表したスライドが kmizu.github.io にあります。さて、当時考えたMacro PEGは、Macro PEGの引数付き規則を名前呼び出し(call by name)として評価す…

Fortressのお話(あるいは、2007年1月のとあるWeb日記)

昨日、内輪でチャットしているときに、ふと、学部生~修士時代の自分のWeb日記(tDiary)を見てみたくなって、色々発掘してたら、面白いものが出てきてので、張り付けていこうと思います(ほとんどが駄文なので、なんか考古学的に(?)意味があるやつだけ載…