No Such Blog or Diary

「必要かどうか悩むものは要らない」の原理に基づきお片づけ．移動は片付けではない．

そして埃をかぶったのでまた風邪引くかもしれん．

とりあえず研究室の初夏の大掃除宣言発令．まあ，宣言を発令しないと自主的に掃除するひと少ないしね……　ちょうど先週に排水口だけは徹底的にやっといたけど．パイプユニッシュさいきょう？

閑話休題．

テラフォーマーズの第0話的なものは単行本に載ってないのよね．続巻に載るのかしら？　

閑話休題．

R352の枝折峠の開通予定を見たら，災害復旧工事のために「10月1日開通予定」とかになっていた．……冬季閉鎖って11月初旬よね？　今年は１ヶ月強しか開通してない国道にレベルアップか．

残雪からくる白い冷気とか見に行きたかったんだけどなぁ，残念．

新しい情報を登録するだけのつもりが古い情報を全削除しちゃったから錠が開かなくなっていたと．どんな操作しでかしたんだろ……

とりゃーず DP=動的計画法 が至極自然だと思い込んでいる時点で一般人では無い，ということに気がついた．確かに競技プログラマとかアルゴリズム屋とかでない人は DP という略称も聞かないだろうし，そもそも動的計画法自体も稀な出会いな気がする．もう少し気をつけんと．

あとは Tester の定義のための DSL をやっぱ用意しておかないと必要以上に難しく見えてしまうなぁ．そのうちどうにかしよう．

準同型も非一般用語よね……　つか，セミリング準同型は素で hom hom なんだなぁ．hom hom しようぜ？

閑話休題．

まだまだ仕事の山場は続くぜよ．

大学に行った → 建物のドアが普通に開いていたので入った → 中に荷物置いて外に出た → 帰ってきたらドアが閉まってた → ロックを開けようと職員証を読み取り機にかざした → NGランプ点灯＆ビープ音 → 閉め出されて荷物も回収できず．

ま，最終的に回収できたから良いのだけど，なんでだろ？　認証のためのサーバがメンテ中とかか？　職員証の IC チップが壊れてるなら NG の反応も出ないはずだし．とりあえず平日に確認してダメだったら事務行きか．

旋盤とかフライス盤とか使いたいけどそのための真っ当な目的がない．

つかワイヤ放電加工機なんかもあったのね．物理系とかだと必要なのか？　とりあえずCADデータからプログラム吐かせたい気分．