自転車のドライブトレインを利用するためのキットが届いてた。

原付のブレーキ、後ろ側が主なブレーキらしい。ワイヤー式のディスクブレーキにするか。油圧だと作動液の残量とかを見ただけで確認できないといけなくてやっかいだ。自転車用の油圧ブレーキレバーだと、この条件を満たせるものがない。

百石道路の料金所、ETCに何でしないんだ。アーモリではETCが全然普及していないのか、クレジットカード作れない民ばかりなのか。

NEXCOの高速道路と本線でつながってる本線料金所で、ETCが使えないってのはひどすぎないか? さすがにETCカードの流出処理はできるようだけど。青森県道路公社の分は現金払いしかできなかった気がするし。

社会人学生の受け入れはやってるんだけどさ。社会の方がなんか拒否してるんだな。自分のところの社員が大学に通ったり、元社会人学生を採用したりするのとかを。博士課程ならともかく、修士とか学部だと社会人と掛け持ちは厳しいし。

Hello worldができると経験5年のプログラマとして売られる。

まじか。でも、おっさんは青森県道路公社だったような。なんか闇が深そうだな?

このアカウントは、notestockで公開設定になっていません。

石の上にも3年、Hello Worldも5年...。

このアカウントは、notestockで公開設定になっていません。

百石道路って、無料開放するよりは改築が必要だと思うの。第二みちのくもだけど。

下田本線料金所で通行券をもらって、九州まで走ってETCカードと通行券を一緒に出して時間帯割引を要求したい。北東北ならやってくれる料金所ばかりだけど、どこまで周知されているのか。

第二みちのくも料金徴収期間を延長しそう。

みちのくも第二みちのくも、高速道路を見たことがない人が、人から聞いた話だけで高速道路のつもりで作ったんだと思ってる。

どうでもいいけど、今月始めに佐賀に行ったけどゾンビもアイドルもいなかったぞ。爺婆だけだ。

三陸道、一部に完成2車線区間がある。まあなんかアレ。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

夫婦で事実上の精神科と薬局のメイヤーの取り合いをしてるのか...。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

タイプライターはいいぞ。

このアカウントは、notestockで公開設定になっていません。

タイプライターいいぞ。

このアカウントは、notestockで公開設定になっていません。

ついでにカナタイプというか。

タイプライターはいいぞ(再)。

電気溶接機欲しい。

オンラインで言うのです。置き手紙とか不幸の手紙で言うのです。

で、たまきにゃー博士はいじめられたの? いじめられなかったらドクターと認められてないぞ?

岩手競馬も50kからかな。

2.5GとかならPLANEXとかがあるけどねぇ。10Gだとなあ。

https://www.amazon.co.jp/dp/B075YFWXXN/
一応4ポートが10Gbps対応でSFP+がついてるネットギアのがあるなあ。

なんか、Twitterには書いたんだけどさ。法律を改正する法律ってのがあるじゃん?
----
道路交通法の一部を改正する法律
道路交通法（昭和三十五年法律第百五号）の一部を次のように改正する。
目次中「第七十一条の二」を「第七十一条の三」に改める。
第四十条第一項中「進行」を「通行」に改める。
第七十一条中「、事両等を運転するときは、第六十四条、第六十五条第一項、第六十六条、前条並びに第八十五条第五項及び第六項に定めるもののほか」を削り、同条第二号中「同項」を「同条第一項若しくは第二項」に改め、同条第三号中「通行」を「通過」に改め、同条第五号の二の次に次の一号を加え、同条の付記中「第五号まで」の下に「、第五号の三」を加える。
五の三　自動車を運転する場合において、次条に規定する者又は第八十四条第二項に規定する仮運転免許を受けた者が表示自動車（次条又は第八十七条第三項に規定する標識をつけた普通自動車をいう。以下この号において同じ。）を運転しているときは(以下略)
----
みたいなの。これって、patchみたいなもんだけど、コンピュータでは扱いにくいなって。

で、現行法令と今後予定されてる施行しか見れないe-Ggovの法令DBの他に、名大の過去の法令にさかのぼれるデータベースがあるわけですよ。https://jahis.law.nagoya-u.ac.jp/lawdb/
例えば道路交通法だと、昭和35年の制定当時の条文と道路交通法の一部を改正する法律が出てくるんだけど、パッチとしては大変当てにくい。
で、法律を改正する法律の構造って、書き換え開始位置・終了位置の指定と書き換え内容の指定からなる形式言語だよなと。機械にフレンドリーかというと微妙で、インデントのレベルに意味があったりだけどさ。正規文法なのか、文脈自由文法なのか、文脈依存文法なのか、という。

法律を改正する法律の言語の構造って、BNFで書けそうではある。それに、チューリングマシンの停止条件は自明だし、入力を受容できるか拒絶すべきかは決定できるから、少なくとも帰納言語ではある。あと、意味も形式的に与えられてるよな。

うーん。
『「第七章　雑則（第百八条―第百十四条の七）」を「
第六章の二　講習等（第百八条―第百八条の十二）
第七章　雑則（第百八条の十三―第百十四条の七）」に改める。』みたいなのって、この状況下においてこの操作をせよってことだから、文脈依存文法??

法律を改正する法律の条文の適用結果は一意に定まるから、形式意味論的には効果が一意に定まるということだな?

文脈依存文法だとすると、文脈指定の方法を拡張する必要があるかもしれないが、どうなんだろう? s/(hoge)第2条(fuga)/(hoge)第3条(fuga)/みたいな形式以外の文脈の指定がある。置換する指示が適用される場所の指定方法が、条文の番号だったり、条番号を列挙してその中の文字列XをYに置き換えるという指示だったり、a条の1として文字列Zを加えるみたいな指示だったり。