雨なので学生が来ない

まぁ、ゼミはオンラインなのでいいんですけどね。

西原運動公園

ミッションデーの関係だと思うけど、かなりポータルが増えてて、取りに行ってきました。

緑のNovaの余波で落とされたけどな。御苦労様です。

この裏に階段があって、キリ短に抜けられます。

この雑な感じのステージはなんなんだ。琉大の池のそばにもあるが。

Ingress Mission Day

ミッション苦手で。うっかり首里から始めて、識名園往復したので、坂がきつくて。

ゆいレールからで、県庁周辺が楽だったろうとは思いますけど。

緑はこのタイミングで Nova ですか。割とお掃除されてよいかも。

那覇周辺は緑のリンク切るの大変だったんじゃないかな。

バスが二台続けて

と思ったら一台は48分遅れ。沖縄のバスあるある。

そんなバスでも工夫して使ってますが、なかなかありがとうという気持ちにはなれない。

バスの運転手の個々の技量もあるけど、上の方が

　　乗る人のことを考えて運用してない

それは残念な感じだな。

　　ゆいレールの終着に連絡した沖縄市/うるま市までのバス

とかあるとだいぶ変わる気がする。

　　北側から琉大に乗り換えなしのバス

もないから、どんだけ沖縄市/うるま市冷遇するつもりなのか。

るんば君のおうち

なんか作られてました

新しくなったので、地図とか見れるらしい。前のは

　　ランダムウォークだろお前

ってな感じだったからな。

相変わらずケーブルは天敵らしい

Agda memory exhusted 解決

どうも、

　　値のまま、直接書くとだめ
　　一度、変数で受けて、その関数内で簡単にしてやると良い

らしい。これはちょっと不思議で、

　　Haskellの実装は、値は一度変数で受けるように変換される

はずなんですけどね。Agda では違うのか。こそくな変換で通ったり通らなかったり。

うまく例題が抜き出せれば、issue 出すんだが...

ペットボトルのキャップ

なんか、一杯なんですが

　　ゴミのコストは回収のコスト

どうするんでしょうね。21世紀に夢を持つのは小学生までで、実際に21世紀になったら

　　21世紀は馬鹿の時代

だなと。戦争始めるのは馬鹿しかいない。でも、本当は

　　21世紀はエントロピーとの戦いの時代

だと思う。Heを大気から抽出とかもやるようになるのかも。

来週はミッションデー

Ingress も10年かぁ。自分はもう少し短いですけどね。iOS版からだから。

Android を使っている米軍関係の人から始まったので、沖縄は割と早くかもりあがったみたい。

ミッションは

　　参加者が作るポータルを巡回する

もので、それをいくつか用意してイベントというわけですね。メダルがもらえるはず。

https://note.com/md2022_naha/

Agda のメモリ超過

別に Agda の限界を試しているつもりはないのだが

　　Agda interaction error: agda: Heap exhausted;
　　agda: Current maximum heap size is 3758096384 bytes (3584 MB).

3.5GBくらいごみだが、増やしてもおそらくは意味がない。なんかループしてるんだな。

この前、Model Checking 書いた時にも、別な無限ループくらってた。

型検査は基本的には Unification なんだけど、

　　NP Hard

だっていう論文を昔みたっけ。とりあえず、

　　なだめすかしながら

みたいな感じでやり過ごす予定です。結果は、プロシンで発表するはず。

Ingress の Kinetic Capsule

ポケモンのあれと同じで

　　歩くとアイテムがもらえる

やつなんですが、なんか、大量に出るようになっちゃって。

空きカプセルとあわせてが27個? 27個横スクロールかよ。

　　そのUIでいいと思った責任者でてこい

的な。まぁ、でも

　　Power Cubeは10個を、Hyper 5個に変換して使う

ってのが良いようですね。他は変換材料がそろったらみたいな感じか。

ctest

コンパイラの例題、書き直し始めたんだが

　　cmake で書くだろ?

こったことしなければ簡単。CMakeList.txt に

　　cmake_minimum_required(VERSION 3.24)
　　add_definitions("-Wall -g")
　　set(CMAKE_C_FLAGS_DEBUG "-O")
　　set(COMPILER　s-compile.c s-token.c)
　　add_executable(s-aarch　${COMPILER}　s-code-arm-mac.c　)

と書けば良いだけ。test がよくわからなかったんだが

　　enable_testing()
　　add_test( NAME test-aarch COMMAND sh test.sh ${CMAKE_C_COMPILER} s-aarch )

で良いらしい。

　　ctest

が、add_test した COMMAND を順に実行するだけ。そうそう、そういうので良いんだよ。凝ったことするな。

cmake いろいろ問題があって、特に CMakeList.txt の構文のだめさは半端じゃないけど、動作の割り切りは良いんだよな。

くろしお

いらぶー使った沖縄そばのお店。愛知の裏、長田先生がいつも行ってた飲み屋さんのそばです。

　　だがしかし、このやる気のないのはなんなの?!

いや、味は、いらぶーらしく「ど、あっさり」で良かったですよ。

　　それでは足りない人のために塩が置いてあるくらい

ここは歩きは無理なんだよな。

iCloud Photos

ちょっと多すぎて切ってるんだが

　　勝手に入れる奴がいる

そういうところなんじゃないの? Photo stream がトラブりまくるのもあったし。

Cloud storage は「人質にする」戦略があって、

　　勝手に昔のを消す Slack

とか。それで

　　自分は敬遠してる

感じ。将来的にはどうなんだろうな。自分は fj 的な

　　オンプレ / 個人ストレージとの連携

を考えてしまうが、それを妨害しにくるのか、連携しにくるのか。

思ったより値段下がってないし。動画でなければたいして持ってるわけでもない。

182G Photos
61G iTunes

マイバックからパンツ

コンビニで「これに入れてください」で出したら...

　　「あ、洗ってあるから大丈夫です」

って、そういう問題ではないか。着替えを持ってきた時に中に残ってしまったんだな。

原神のイベント

最近、さぼりぎみで。デイリーくらいで放置してたんですが、なんか、アンケートで、

　　お前は、なんで、このイベントやらないのか

と怒られた。なんとか祭りなんだが、あと7時間? そういえば、

　　レザーの産みの親がなんとか

ってのを見たような。あれって、そんな大きなイベントだったのか。いやさ、

　　なんで、新マップと重ねるんだよ
　　そもそも、レザーってくそがきにそんなに興味が...

いや、確かに、そんな理由でベネット全然育ててなかったとかあったわけですが。

どっちかというと、モンドの懐かしいキャラ紹介イベントみたいな感じなんだな。

　　リサおばさん、久しぶりです

的な。これって、あと7時間で終るのか?

こた

12歳くらいだっけ。おじいちゃんだけどね。

7色のTシャツ

なんか学生が

　　曜日毎に違う色のTシャツを着ているらしく

いや、別に停めませんよ。

自分は学部4年の時にはスーツ着てたな。アルバイト先とかでも、その方が。

コンパイラの例題がさびついてて

まぁ、動かない。簡単な式のtokenize/parse/code生成までですけどね。

もういいかなとか思って、さっさと、gcc/llvm だと思ったら、

　　学生が ARM のところがわからないんですが

とやってくる。わかったわかった。来週なんとかするから。

code 生成部分の printf を書き直すだけだけど。

byte code のも書いてみたいかも。

https://gitlab.ie.u-ryukyu.ac.jp/teacher/kono/compiler-examples
-

blog は毎日書くからblog

mixi はカレンダーで書いた日が見えてたので、毎日書くというモチベがあった。

で、0時の前後に二つ書くとかやってました。タイマー使った時限投稿とか。

本末転倒感はあるかな。

ネタを Evernote に書いておくとか。

ネタになる写真を撮っておくとか。

まぁ、ネタにつまってからが本番であることは間違いない。

OSの補講の採点

Q. Why is it that having multiple resources does not necessarily prevent
the occurrence of a deadlock?

Why で始まっているが、例示が必要。なぜと聞いてはいけない例にもなってる。うちの学生には難しすぎるか。

dead lockの条件を列挙するところまではできるのだが、その条件を絶対に満たさない例がないと「ロックの必要はない」にはならない。
複数ファイルを順に読むだけならロックは不要とか書けば良いんだが...

英語ができるかどうかってよりは読まずに答えている感じかな。

国際通りのブラウン管

Back to the future やってるな。そして、

　　ばっちり映り込んでる

気をつけてはいるんだけど、やっちゃうね。

Tap Water

水道水のこと。学生時代に米国に言った時にお店で愛用してた。今はやらないですよ。

　　お店に、ちゃんと水物で儲けてもらうのが良いお客さん

で、良いお客の方が歓迎されるからな。なんだが、

tab water だと思ってた。だって、そう聞こえたし、それで通じてたし。日本人だしな。

現地のお兄ちゃんに聞いたからだが、辞書引けと。

こう集まってると、落としたくなる

そんなものだよね

QUNOG

この手のイベントは長田先生だったんだが... IXとか懐かしすぎる。

珍しく話を聞きにいってきました。

物理層の話は楽しいが、プロに任せるべきだと思うぞ。

質問は Slack だったんですが、少ない感じ。プロシンと比べてはいけないか。

健康は野菜から

なんか、サンドイッチに付いてるパセリ

　　それでも取れば野菜だから

え〜、そんなものなの? ナッツ食えとかうるさいですけどね。やっぱり、

　　もつ鍋

じゃないですか? 野菜が多いのは楽しい。

英語を学ばない子供たち

まぁ、日本でのIT技術職の給料の話とかして、

　　自分の授業では英語の教科書を使う
　　そこから問題を解かせる

とかやってますけどね。まぁ、やらないですね。20代前半なんだから、

　　半年も英語に commit すればかなっりのところまでいく

20代後半からやっても、到底無理なところまで楽勝なのだが、その黄金期を逃してしまう。

それは残念なことだな。いや、

　　カリキュラムとして、実用レベル(TOEIC 900とか)まで要求

すれば大半クリアできることはわかってるんだよな。もちろん、それで落ちこぼれるのが無能というわけじゃないですが。

今の日本だと中国語か英語あるいは両方は必須だと思うんだけど、思ってるだけでは学生には伝わらないな。

　　東大の博士が日本語で博士論文書く

とか驚いたのもずいぶん昔だが。

任意の比率の柿ピー

ダメじゃん

リコリコ

ちょっと話題になったあれですが、なぜか第2話だけ録れてなかった。が、まぁ、それほど影響はなく。

というか、やっと盛り上がってきたと思ったら、もう終わりなのか。

　　弾よけと言えばエイトマン

まぁ、たきなは可愛かったし、シンジ君も出てたしな。

優秀な才能ってのはあるけど、まず、居場所を確保して、あとは好きにすれば良いといえば良い。

そんな感じ?

ヘンリー8世と

Rick Wakeman のあれですが、最近、練習してたりする。最初の方だけですが。

　　いや、やっぱり、暗譜して繰り返し練習すればいけるだろ?

院生時代に買った楽譜で。当時は、まったく弾けなかったんですが。で、まぁ、

　　一応、なんとかなる

なんだが、

　　Wakeman のお飾り高速トレモロ

は、無理っぽい。それも練習すればいけるのか?

昔も下手だったが、練習さぼると、そこまでもいけないのだよな。音階からやる根性はないですが...

てだこ浦西周辺のお店

ゆいレール終点まで乗って「何もない駅」なわけですが、いくつかあります。

ご存知ハリーズ。うちの研究室御用達のスープカレー屋さん。石嶺方面に7分くらいか。日曜休み。

よなラボラトリー。イタリアン。水曜日休みだが、最近根性ないみたい。結婚式の二次会に使えるくらい広い。

トルコ料理ケレベッキ。當間先生御用達。

良いお店はいかないと無くなってしまうので、応援したい。