ていへんかけるたかさわるに

1 時半起床.
すっきり目が覚めた.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
それまでの「数学」が「純粋数学」と「応用数学」に分岐していく歴史的経緯が述べられる.

それから数学をやる.
解析と代数の練習問題を考える.

朝までやって区切りを付ける.

食事をとる.
キャベツと目玉焼きとコーヒー.

一休みしてから散歩に出かける.
1 時間半ほど歩く.

一旦帰宅して, 買い物に行く.
野菜や肉などを買う.

夕方に食事をとる.
ソーセージと野菜のグリル.

早い時間に起きるといろいろできる.
明日も早い時間に起きたいが, これは眠剤の効き具合に依存するのでどうなるのかわからない.

眠剤と頓服を飲んで布団に入る.

新しい Wi-Fi ルーターを購入したので, OpenBSD とスマホでの設定を行う.

スマホでの設定は, Wi-Fi ルーターのパッケージに付属していた QR コードを読み込むことで完了した.

OpenBSD (Ver. 7.4) での設定は, /etc/hostname.urtwn0 (urtwn0 はネットワークインターフェース名) に

  nwid MyWiFiRouterSSID  wpakey MyWiFiRouterPassword
  inet autoconf

と記述すればよい. ここで MyWiFiRouterSSID と MyWiFiRouterPassword は Wi-Fi ルーター毎の SSID と WPA パスワードである.

設定はネットワークを再起動することで反映される.

  # sh /etc/netstart urtwn0

これで, /etc/resolv.conf が新しく作成され, 新しい Wi-Fi ルーターでスマホと OpenBSD での通信が可能になる.