Diary/2025-1

2025-1-28

分子研

うちあわせ．

2025-1-22

ASP-DAC

Desinger's Forumで話す機会をもらったので発表．
結局，発表直前までスライドをいじることに．
質問もでたし，まあいいか．

2025-1-20

査読

〆切なので，あわてて．
Biddingを見逃してたので，読みづらい論文があたってしまって辛かった...

2025-1-16

帰国

無事に帰国．
帰りは隣の席が空席でずいぶん快適だった．

2025-1-15

アメリカに(5)

帰宅の日．
最後にどこかのバーでゆっくりお酒でも飲むかなー，とか思って，
ホテル周辺を1時間くらいうろうろしてみたものの，
さすがのラスベガス(？)で，どこもすごく賑やかだった．
帰国便は6:00発だし，部屋でおとなしくするかー，ということで，
部屋でのんびりと．
こちらの夜中は日本では昼間だし，連休あけ2日目ということで
あれこれメールやSlackメッセージがとんでくるので，それらを細々とさばくなど．

3:30くらいにホテルをチェックアウトして空港に．
ほどなくして，空港のセキュリティがオープンしたので通過．
お店は全然あいてなかったけど，
さすがのラスベガスでギャンブルマシンは起動されていたので，
折角だし，スロットマシンで遊んでみることに．
25セントスロットマシンに$10いれて，
レバーをがしゃがしゃしてたら$50くらいになった．
$20までは減ってもいいかなー，と，がしゃがしゃしてると
$62.75になったので cash out．
マシンから出力されたレシートみたいなを，係りのおばさんに渡して換金してもらった．
「よかったね!朝ごはんたべれるね!」とのこと．
$1未満はチップで渡すべきだったのかなー，と，後でふと思うなど．

ラスベガスからサンフランシスコ，
サンフランシスコから羽田便にのりついで帰国の途に．

2025-1-14

アメリカに(4)

発表と座長(1.5セッション分)の役目のある日．
結局，今回も発表直前までスライドが固まらず，半分アドリブのような感じで．
持ち時間の割にもりだくさんにしてしまったけど，
いくつか質問もでたので，まあよかった，ということにしよう．
座長は，はじめて自分の発表するセッションを受け持つという経験を．
この学会では割とよくあることらしい．
はじめて，

The next presentation will be given by me.

的なことを言ったわ．

2025-1-13

アメリカに(3)

キーノートを聴講したり，デザインコンテストの運営のお手伝いをしたり．
デザインコンテストは観戦すると，参加したくなるんだよな...
時間やりくりしてマシン作るかなあ．

2025-1-12

アメリカに(2)

昨日の飛行機がリスケされてた．
通路側で席とってたのに中央になったこととか，
少し余裕をもって予約してた乗り継ぎ便までの時間が，
短い便で設定されたこととか，不満と不安...
とはいえ，最終目的地まで同じ飛行機会社でチケットとっといてよかった．
大変だったけど，ちゃんと目的地のラスベガスまで到着できました．

イタリアン

学会会場で，I先生とお話したながれで食事へ．
特にあてもない二人だったので，とりあえず明るい方向に歩きますかね，と．
ジャンクフードでもいいですかねー，なんて，うろうろしてたのだけど，
でっかい看板が目にとまったBattista's Hole in the Wallへ．
結果，とってもよかった．
$29のパスタセットを頼んだら，
フリーのハウスワイン(赤・白)，葉野菜中心のサラダ，食後のカプチーノがついてきた．
パスタも，アメリカではじめて出会う，ちょうどよい茹で加減．

大変だった...詳細

離陸はほぼ予定通り．
着陸も予定通り...と思いきや，
乗り継ぎに使える時間が1時間45分しかないのにも関わらず，
乗り継ぎ空港のSFOに着陸したもののゲートが混んでるとのことで30分くらい機内で待機．
で，降りてみると入国審査の列がびっしり...
もうダメか，と思ったら，ちょうどレーンの端に近いタイミングで，
米国民のための窓口向けのレーンが開放されてそっちの列に移動，
さらにMPCとか何か特権ともってそうな人のレーンも開放されて，さらに移動，
ありがたかったけど，レーンそのものは変更せずに送り出し先を増やすのが
並んでいる人間に対してはフェアな気もする...
多分，僕の10くらい前で並んでた人は，メチャクチャ腹立たしかったんじゃないかなあ．
で，移動先のレーンの前の方には家族連れが多かったために，
列自体はさくさくすすむのだけど，最後の最後で時間がかかる．
じりじりと待つだけだったけど，搭乗〆切前20分くらいで入国審査カウンタに通された．
今回は，特に何もつっこんだ質問もされず，写真とって通してもらえた．
そこから，ターミナル1→ターミナル2と搭乗ゲートのセキュリティまでダッシュ．
荷物あずけてなくてよかったー．
途中でターミナル1の電光掲示板を確認するも，目当ての便が表示されていないことに不安を感じつつも，
機内で確認した，出発ターミナルは2，というのを信じて走ってターミナル2を目指す．
はたして，ターミナル2の電光掲示板にはお目当ての便がのってて，一安心．ここで搭乗〆切前10分．
つづいてのセキュリティはセキュリティで，4本くらいレーンがあるのにかかわらず1レーンしか稼働してない．
...もう10時すぎてるんだし，普通にあけて欲しい気がする．
入口のお姉さんに「搭乗まで時間ないんだけど，すいてるセキュリティないの？」って聞いてみたら，
「ない．『急いでる』って言って前の人に順番ゆずってもらったら？」とのアドバイス...
まじかー，と思って，しばらく，まごまごしてたけど，時間ばかりたつので，
アドバイス通り，順番ゆずってもらって先に抜けさせてもらうことに．
みんな優しくてよかった．
すでにセキュリティ検査のキューに入ってる人のまでは追い越せないよなあ，と，
じりじりしながら検査通過を待って，
でてきた荷物から靴だけ取り出して履いて，あとは全部カバンに．
ベルトもしめずにゲートまでダッシュ．
なぜか搭乗ゲートを18番だと思っていたのだけど，18番ゲートがみあたらず，
16番ゲートの人に聞いてみたら，18番ゲートは使ってないゲートとのこと．
どこ行きたいの？って聞かれて答えたら，16番こそが目的ゲートだった．
おかげさまで，搭乗〆切ちょうどにゲートに到着して，飛行機に乗れました．
...18番ゲートが存在していたら，そっち行ってて間に合ってなかったな．
乗れてよかった，けど，...やっぱり1時間45分の乗り換え時間じゃダメじゃん．
ちなみに通路側の席じゃなくなってた分は，refundされてた．

2025-1-11

アメリカに

...行くはずだったけど，飛行機がとばなくて行けなかった．
まあ，希有な体験できた，と後で笑えれば，それでいいのだけど．
飛ばなかった理由は機長の無線機の不具合といってた．

• 規定のトラブルシュートをやってみたけどダメ
• 飛行機の電源再投入でもダメ
• 無線ユニットの交換でもダメ

で，4時間経過したころに時間切れって感じだった．
ユニット交換してもダメっていうなら，
機体側に何か問題があったのかなーと思うけど，実際どんなトラブルだったんだろう．
ちなみに，飛行機にのったらすぐにご飯かなー，と，
遅い朝食の後に特に食事をしてなかったので，おなかぺこぺこのまま，
隣駅までの終電近い電車で自宅に帰宅．
妻に車で迎えにきてもらった．ありがたいことです．

2025-1-6

冬休み最終日

...あれもやろう，これもやろうと思っていたのに，
あっという間に最終日．
やらなきゃなーと思ってた新しいことに着手できたのと，
やらなきゃなーと思ってた雑事の片付けができたから...まあ，よしとするか？

2025-1-5

冬休み最終日

...あれもやろう，これもやろうと思っていたのに，
あっという間に最終日．
やらなきゃなーと思ってた新しいことに着手できたのと，
やらなきゃなーと思ってた雑事の片付けができたから...まあ，よしとするか？

2025-1-4

サーバの交換

いろんなデータを置いてるホームサーバ的なマシン(grappa)が，
いい加減遅く感じるときもあるなあと，サーバ役のマシンを交換．
といっても，最近まで開発に使ってたマシン(talisker)にディスクを移しただけ．
元のマシンのスペックは，

• CPU: Intel Core i3-4160@3.60GHz
• MB: GA-H81M-D3V
• メモリ: DDR3 1600MHz 16GB

ベースは，Tsukumo AeroSlim RS3J-B61/Eだったはず．
うーん，あらためてみると，まだ使える気もする．
とりあえず，grappaには余ってた240GBのSSDだけいれておいた．
今度FreeBSDでもインストールしてあそぶことにしようかな．

2025-1-3

Yosysメモ

GitHubからcloneしたYosysのサンプルを参考にPassを作ってみると，
IDの引数でエラーがでてしまった．
これは，Ubuntu 22.04でaptでインストールしたYosysは0.9だったのに起因していて
その時点ではIDの引数にダブルクォーテーションが必要なのだった．
で，定義をみてみると，
0.9の定義が，kernel/yosys.hで，

#define ID(_str) \
	([]() { static YOSYS_NAMESPACE_PREFIX RTLIL::IdString _id(_str); return _id; })()

となっていたのに対して，
GitHubでcloneしたもの(0.48)は，kernel/yosys_common.hで，

#define ID(_id) ([]() { const char *p = "\\" #_id, *q = p[1] == '$' ? p+1 : p; \
        static const YOSYS_NAMESPACE_PREFIX RTLIL::IdString id(q); return id; })()

となっていた．なるほどねー．

2025-1-2

「日本人になった祖先たち」

新年一冊目は，日本人になった祖先たち - DNAが解明する多元的構造をさらっと．
タイトルの割に，「日本人」というよりは人類そのものがどう世界に広がっていったか，
というのをDNAを元に辿っていくという話．
Y染色体でもDNA分析できるのねー，というのは知らなかった．
アフリカを出た後で広がった人達は，皆，その出た時点の変異を共通してもっているというのはとても面白い．
結果的に，アフリカには，とても多様な変異を持つ人がたくさんいる，と．

2025-1-1

謹賀新年

今年は年賀状はなし．
さて，2025年は...
2024年同様に「もっと主体的に楽しく活動する」というのを大きな目標としつつ，
すきま時間の有効活用，と，そのためのコンテクスト切換コストの削減を具体的な目標にしよう．

クラシック

耳にしたとき，これいいな，とか，これなんだっけ？ということばかりなので，
今年は意識して聴いてみようかな．
と，ブックオフにいって，

• ハイドンの十字架上のキリストの最後の 七つの言葉
• メンデルスゾーンの真夏の夜の夢
• エルガーの威風堂々
• ブラームスの交響曲第2番

とか買ってきて聴いてみる，など．