kmizuの日記

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

2020-01-01から1年間の記事一覧

ジョグ&ウォーク記録(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辺りで…