宜野湾のラーメン

丸嘉とあがりがなくなったので結構困ってるんですよ。

330赤道あたりに「横浜家系ラーメン」が。ばりかたと頼めば、まぁ、なんとか。太麺なのに。でもスープがなぁ... でも、Surl Mural という重要ポータルのそばなので、そういう意味で便利ではあります。

その少し那覇寄りの三竹寿があったところが変わったお店はいく前につぶれてしまって、でも、

　　ラブメン

なるものに。煮干し系ですか。まぁ、悪くないかな。海苔がふりかけ的な感じ。

あとは沖国前のタカネ。図書館前の方は、もうあまり開いてないのかな。

我如古の武虎は、まぁ、いつもの感じですね。

一番餃子が昼閉まっているのが残念〜

銀行名と振込

なんか昔から使ってきた銀行の名前が変わったらしく...

　　振込が失敗してた

ログを見ないと失敗とわからない仕様らしく。

まぁ、銀行の名前が何回も変わったところも使っていたんですけどね。

いや、中はIDで管理してるはずだろ? あぁ、でも

　　一つの銀行に二つのID

ってのに対応できなかったんだろうな。振込側は沖銀なので割とだめなシステムだからなぁ。

振込先を登録しなおしたら振込できました。

Mojave

いや、まだ上げてなかったりするんですが... 既に廻りでいろいろ問題が...

　　32bit support が落とされてる

のが鬼門らしいです。GCCが make できない。いや、OS9落とすとかPowerPC emulation 落とすとかと話が違うわけで...

　　そもそも、なんでそんなことするの?

って感じではあるな。32bit x86 の拡張として64bitがあるので無理して落とす方が大変だと思うんですけどね。

で、いろいろやった挙句、起動できなくなった学生がいたり... 「セーフブートできません」おお、やるな。

えーと、

　　Recovery mode で上げる(R押しながらboot)
　　Diskutility を使って Macintosh HDをmount
　　Terminal.app から、その中身を修正

という手順で治りました。まぁ、これが普通の手順だった頃もあったんですけどね。sigle user mode から / を rw mount しなおすとか。

JPHack 〆

ハッカソン自体はいろいろやっているので、慣れているんじゃないかなと。でも、マエケンは初めてだとかいってたな。

チームは4つで、

＊　動画で筋トレをみんなで時間を共有しながらおこなうサービス

＊　GPAによる研究室配属をグラフで可視化するサービス

＊　お小遣い管理をスマートスピーカーでおこなう

＊ タスク管理ツール

という感じでした。高専生、B1からM2までいるので達成度はさまざまという感じですね。技術的には動画の処理とかスマートスピーカーとかグラフによる可視化とかが
面白かったかな。

動画を使ったマエケンのチームがプレゼンのスムースさもあって一つ抜けていた感じかも。

グラフによる可視化は、そこが肝だったはずなので、もう少しうまく説明できていればね。もっとも研究室配属は割と難しい問題なので、挑戦したのは偉いがそうそう簡単にはいかないです。

なんか運営の人のノリが文系なんですが。工学系そういう感じじゃないんだけどな。

発表時間が90秒。他の会場では10とか20とかあるらしく。その辺に合わせたのかも知れません。
今回は4チームだから10分ぐらいは取れたかも。

他の会場と違って沖縄のは「ゆるい」とか言われてました。そういうところです。

JPHACKS

321教室で順調に進んでいるようです。

うちは昔からプロジェクトベースだし、世の中的にも Hackathon 流行りだし。学生も慣れてる感じかな。

そして、ここにも

　　一年次がたくさん

なんかすごいな。

大学で何を教えたら良いですかと聞いたら「既に知ってることを教える座学が... 仕方ないんですけど」みたいな話が。手を動かす感じか必要だな。

歯医者さん

久しぶりに。 クリーニングなんですけどね。ハガキは随分前にもらったんだが、東京にいく直前で、戻ってきたら、なんかいろいろ忙しくて...

いや、忙しいったってたかは知れてるんですけどね。

下の歯の表面に傷が付いているような感触なんですが、問題ないですで片付けられました。まぁ、クリーニングでも特に引っかからなかったのでいいのかな。

少し歯の色がダメになってきた気もするのでホワイトニングしたい気もする。安直なのとかもあるみたい。

プログラミング4

自分で勝手なプログラミングプロジェクトやっていいよという授業の後期版です。

他にもプロジェクトベースな授業はあるのだが、

　　完全に制約なしで好き勝手なことやって良い

ってのはないらしく。まぁ、普通そう言うのは授業とは関係なくやるものだからな。

そんな感じでenPITとか他の実験とかと住み分けているみたい。

今年はホロレンズ中でドローン飛ばしたいとか、ネットラジオ作りたいとか、Unityのゲーム作りたいとかそんなのが来ているようです。

vTuber hackthon とかの話もしてました。あっちはあっちで面白いらしい。

バスナビ

サイトが新しくなったってな話ですが、まぁ、いろいろひどい... まず、

　　色が原色赤ベース

って、さぁ、学生がじゃないんだからぁ。まぁ、最近はYouTubeアプリとかもで原色赤だったりするからな。

アプリとWebと両方あるわけですが、新しい方の検索データがおかしいらしく、

　　我如古とか下りしか出ない

しかも、選択肢で出た☆付き(おそらくバス停の意味)以外を選択すると「みつかりません」。何これ...

Webは常に位置情報を要求して「位置情報を取得できませんポップアップ」を無意味に連発。で、地図からバス停を選択するのがましかというと...

　　上りと下りとが隣接していると片方だけしか押せない

拡大して上り下りを推測して押す感じ。

　　使ってないだろ〜

まぁ、いつものバス停が表示されるなら良いわけですが、

　　Webサービス内のブックマーク

があるらしい。これが、

　　入力枠内でポップアップメニューから選択する

使えない... しかも、時刻表と接近情報とを別々にマークする必要があるらしい。

接近情側はブラウザのブックマークできるようにReSTにはなってます。まぁ、それで使えないことはないかなぁ。

しかし、20分待ち以上のバスが表示されないので路線一つずつ検索は相変わらずだな。

もっと使って楽しくなるくらいのUIにして欲しいよ。これでもないよりはましではあるんだが...

スカパーアンテナ

まぁ、一応治しました。でも、

　　隙間ケーブルはすでに逝かれていた

あ〜ぁ。まぁ、いいかと一回線減らしました。最近、そんなに観てないし。あと、

　　向きがずいぶん違う

30度くらい違う感じ。おかしいなぁ。もかすると違う衛星拾ってるかも。ただしく映ってはいるんですが。スカパーは結構衛星持っているらしく。

その二つで少し時間がかかりました。それに、Skype の画像通信が根性なくて、すぐに切れてしまう。

もう一度、やられたら、なんか別な方法考えるべきだな。おそらくは、そのままやめてしまうんじゃないかと。

Recursion Prime

Ingress のevent で、通常の都市でのポータル合戦の他に、

　　10/20 13:00 JST から 10/21 8:00 JST

まで全世界でCF増やした方が勝ち的なものがあったんですね。全世界なのでご近所ポータルCFは、まぁ、誤差なんですが...

昨日の夜は普天間とか嘉数とかでささやかなCFを増やしてました。

朝、起きてIntel Mapを見ると、緑が沖縄を覆うBAF。まぁ、来るよね。でも、なんか

　　今壊しに向かってますw

なコメントが。宮古島ですけど。TLC (中部リンクカッターズ(株))さすがだな〜 与那国島でもいろいろやっていたらしい。

結局、8時直前に解除。それとは別の中国、西アジア、アフリカの青の巨大CFがあり、Anomaly のカウントを even にまで持ち込んだみたいです。

CFのMUカウントは人口にも寄るので大きなのを作れば良いと言うわけでもなく。沖縄のガードリンクでの本島/台湾の防御とかが重要。

その戦いの跡が緑と青のリンクなわけだね。今回は沖縄本島の local intel score は捨ててとかいう感じだったかも。

久しぶりに青の意地を見た感じ。担当者、作戦成功おめでとうございます。

またアノーマリーで

Ingress ですね。台湾で開催だったようです。青はやっぱりいつもの感じだったんですけどね。リチャージで参加は手抜きだが、まぁ、いいか。

でも、朝までのCF合戦みたいなのもあるらしく。いや別に沖縄内部で争ってもなぁ。

いや、外のBAFの争いはいろいろあるんじゃないですかね〜 他人事〜

とは言いながら、沖縄だからそういうことからは逃げられないんだよね。担当者頑張れ〜

55/56番のバス

まぁ、風邪はあんまりひどくはないので、

　　Ingress で無謀な寄り道はしない

ぐらいにしてます。(普段は5kmぐらいの寄り道はするので...)

で、バスIngressなわけですが、この55/56は結構面白い。大平から前田経由は良いんだけど、そこから330沿いのビア缶そばまで廻る。

ただし、そこで終了。いくつかは、真栄原まで来るんですけどね。割と本数あるし、便利なポータルが取れます。あそことかあそことか。

ビア缶からは330のローソン経由で大学までいけるんですが、

　　体調良くないので図書館でお休み

昔は図書館結構好きだったけど、最近はあまり使わないな。いや、Ingress のポータルとしては良く使ってます。

nomatch found

zsh で、

alias re='rm #* *~ #.* .*~ *.dvi *.log *.blg *.bak *.swp;'

とかいうのを使っていたんですが、これが失敗するんですよ。 no match found とかいって。

要らないファイルを消すわけで、毎回手で打ったりすると危ないわけで alias に。いつからか動かなくなった。

つまり、.*~ とかがないと展開失敗でコマンドは実行されないらしい。まぁ、気持ちはわかる。

ググってみると、いつもの StackOverflow ではなくて、stackexchange とかいうのが引っかかった。

　　 setopt +o nomatch

とやれと。なるほど。

　　 alias re='(setopt +o nomatch; rm -f .*~ *~ *.dvi *.log *.blg *.bak *.swp *.agdai)'

こんな感じですかね?

11月はいろいろありますが、11/10-11/19 は東京の予定です。

https://unix.stackexchange.com/questions/310540/how-to-get-rid-of-no-match-found-when-running-rm

ADATA

USB-C にもUSBにも刺さる奴ですね。Amazonのカートに引っかかっていて注文されていなかったらしい。最近、注文を復活しました。

USBメモリ差すのにアダプタがいるってのがMBPのダサいところなんだよな。

使う機会はいつくるのか?!

- ADATA

ちょっと風邪っぴき

鼻風邪っぽい。まぁ、定期便な気もしますけどね。鼻水が長引くパターンだな。

昨日は、blogger 側の調子が悪く、投稿できなくて。blogger側はメール経由なんですが、メールはでていっている。何回かテスト。

で、しばらくしてみたら、

　　同じものがたくさん投稿されている

う、どっかに詰まっていたか。まぁ、コンパネから消せば良いだけなんですけどね。停まる可能性はいろいろですが...

Facebook 側は例のAPIからの投稿禁止で手動投稿中です。Web経由で投稿するようにしようかな。

-

ジャングル

沖縄、日差しも強いし、雨も良く降るしで...

　　放っておくと、ジャングル

いや、うちの前の道なんですけどね。

つい二ヶ月前かなんかに除草していたような気がするんだがな。

もっとも、うちの前はかなが強力な除草剤をまいたらしく、何にも生えてないんですけどね。

人類が衰退すると、アンコール・ワットのように、あっという間に草木に埋もれてしまうんだろうな〜

シュタインズゲート・ゼロ

終わったのは大分前だったけど。 ついでに、録画していた劇場版

　　負荷領域のデジャヴ

の方も観ました。2013年か。スカパーのおまけに付いてくる一ヶ月だけWOWOWで録画したものだな。でも、その時には見てない。そんなもの。

ゼロも劇場版も、本編の設定に沿った話なので、安心して観れる感じ。

ゼロは、同じところをぐるぐる廻っている頃の行き詰まった感じを拡大したものだけど、そのいじめられている感じがあんまりなくて。少し残念だったかな。

劇場版は、紅莉栖の泣きが結構良かったです。Re:ゼロでもそうだったけど「どこまで落ちるか」的なところがある。ちゃんと落とさないと。

道具立て的には劇場版の「結局、自分はどの時間線にいるべきなのか」という問題意識は面白かった。

負荷領域のデジャヴ

Ingress Hacker Medal

歩きで沖縄だとやっぱり稼げなくて... ようやっとといったところです。

次のメダルはBuilderかな。1,2ヶ月後ってところですかね。

もう少し、Mission 頑張りたいけど、なかなか。

Ingress は手を抜くようになったので、やっぱり水泳を再開したいかな。

一番餃子

真栄原の大将のあとにできた中華料理屋さんです。栄町市場にある店の姉妹店みたい。なんか、こう、

　　ジャンクな夕食ですませたい

時ってあるじゃないですか。そういう時には、

　　餃子とビール

ですよね。僕は水餃子派です。日本は焼き餃子流行ってるみたいだが、水餃子でしょう。

ここは、あと、

　　クミン炒め

がいくつか。

　　辛く〜

と頼むのと、料理長のテンションが上がるようです。

良いお店なので、みんなで行こう〜 (良いお店には行かないと)

　　https://tabelog.com/okinawa/A4703/A470404/47021861/

猫と扇風機

なぜか、扇風機の台座がお気に入りらしく。

　　電源が入っている方が良いらしい

理由は不明です。おかげで、風力最大になったり切れてしまったり。

カリは布団の方が気に入っていたので、猫に寄るらしい。

CCC

Cartesian Closed Category ですね。名前からしてかっこいいじゃないですか。

　　Hom A a 1 ≅ {*}
　　Hom A c (a × b) ≅ (Hom A c a ) × ( Hom A c b )
　　Hom A a (c ^ b) ≅ Hom A (a × b) c

とか書いてあるな。これって何? ってあたりからやるようです。

いや、先にやること他にあるはずなんだけど。

たぶん、これが型付きλ計算のモデルになるとかやるはずだな。M2の時にもλ計算の分厚い本で読んだような気がするが、あの時は良くわかってなかったな。

台風はたいしたことなかった

のですが、まだ、強風圏の中を学校に。まぁ、これくらい沖縄の普通ですけどね。

教室が名嘉村先生とバッティングしてるとかいろいろありましたが、なんか、名嘉村先生に頼み事があったんだけど、なんだったかな。

　　思い出せない〜

学科Webの英語の部分が落とされてるので名嘉村先生の留学生に手伝って欲しいって話はしたんですが、それ以外になんかあったんだけどな。なんだったかな。

なんか授業関連だったような... あ、思い出した。

　　学科の Astah のライセンスはどうなってるの?

だった。UMLお絵描きツールのAstahの community edition がなくなちゃったんだよな。他にもUMLの図は書くのはあるので、なんでも良いんですけどね。

Astah は制約が強いのと「選択してから設置」というダメUIなのがね。学生もOmniGraffleを使うことが多いようです。でも、

　　その制約がUMLの勉強になる

ところがあるからなぁ。手元のライセンスは切れてるな。アカデミックのサイトライセンス安いとは思うんだけど、国立大学の貧乏さはそれを上回ってきたので...

また、台風

プランター出さなければ良かった...

しかも、明日の午後の授業までには抜けてしまいそうだし。

まぁ、家でお休みしてます。

Linker script

なんか、学生が30日OSやってて、qemu 経由で gdb で debug したいと。x.v6 でいいじゃんと思わなくもないんですが...

じゃぁ、elf 形式で kenrel 作ってやって、qemu の debug mode 使えば? ってことなんですけどね。つうことは、

　　elf 形式用のlink script を書く

ってことだよな。a.out でいいんじゃないか説もあるんだけど。30日OSは、フロッピィbootで書いてるらしい。

　　qemu -kernel kennel.elf

でいくかと思ったんですが、なんかだめ。そうですか。

　　でも、floppy 上の IPL のアセンブラと Linker script を合わせればいいんでしょ?

なんか地獄のように合わないぞ〜 でも . = 0xd030 ; とかなんとか書いて、gdb 側でentry point 確認して的な。でも、やっぱりずれてるので、

　　面倒くさいので、ずれてるentryをそのままIPLに書いた

いや、でも、gdbからの disass は合ってる。意味わからん...

でも、それでも、IPLから飛んだ先の int 0x10 ( VGA deviceの初期化) で飛んでるようです。おそらく、スタックの初期化にしくじってるな。

冷房室外機

いや、だから、屋上に物置いちゃダメだって... 多分、当たったのはこいつなのではないかと。

おかげで事務室が冷房なしに。まぁ、でも、

　　少し涼しくなった時期なので

もっとも、また、暑くなるかもな。11月までは。事務には扇風機を届けておきました。

スカパーのアンテナ

くそ〜また飛ばされた。どうしましょうねぇ。アンテナ自体は1万円くらいなんですが...

　　また飛ぶとわかっているものを設置するのはありあえない

今後、こういう台風は増えると思うんだよね。温暖化の影響説も。あるSFだと超音速な風速の台風が赤道を一周するようになるとか。

やめてCSにしちゃうという手も。BS生きてるので、それがおそらくは簡単。CSのチャンネルも増えたし。

マストは生きてるし、BSアンテナは耐えてるので、スカパーのアンテナの欠陥だとは思うんですよ。定格の60m/sないってことね。

なので、パラボラを補強すると言う手もあるかな。

　　テザーを設置する
　　パラボラに穴を開けて風圧を逃す

くらいかなぁ。ハンドドリル一つあれば可能だな。

やめちゃうのが一番簡単なんだけど、なんだかんだ長く使ってきたからなぁ。もっとも、最近は、

　　Closed Caption ではなく画面焼きこみの字幕で消せない
　　アニメはBS11でいいじゃん?
　　どうせ観ない
　　ねっとでいいだろ?

的なところがあって要らない説も。