FreeBSD上のVirtualBoxが不安定なのを解決するのに必要だったこと (2019年9月)

序

FreeBSD（12.0-STABLE、64bit）上のVirtualBox（5.2.32）に、 Ubuntu（18.04.3）をインストールしようとしていた。
（つまり、HostがFreeBSDで、GuestがUbuntu。）

しかしながら、何も考えずにインストールしたら あまりにも不安定で（症状は後述）、 いくつか設定が必要だった。

問題の切り分けが難しく、解決まで試行錯誤が必要だったので、 ここに記録を残しておくことにする。
（例えば、FreeBSDとVirtualBoxが原因だとしても、 症状としてはGuestのUbuntuが落ちるので、 検索語にUbuntuを入れてしまい、必要な情報にたどり着きにくかった。）
なお、以下ではそのUbuntu VMのことを単にUbuntuと書いている。VMとしての名前もhostnameもあるが、分かりにくくなるだけなので。

やること1. （FreeBSD）

HostのFreeBSDで、emulators/virtualbox-ose-kmodをVIMAGEをonにしてコンパイルしなおす。

やってないときの症状（VirtualBoxとFreeBSD）

VM VirtualBox Manager -> File -> Host Network Mangerで Createボタンを押すと、FreeBSDがKernel Panicで落ちる。

対処手順（FreeBSD）

HostのFreeBSDの管理者に、「emulators/virtualbox-ose-kmodをVIMAGEをonにしてコンパイルしなおして」と依頼する。

参考URL

Solved - VirtualBox 5.2.22 causes kernel panic with bridged adapter | The FreeBSD Forums
https://forums.freebsd.org/threads/virtualbox-5-2-22-causes-kernel-panic-with-bridged-adapter.68787/

やること2.（VirtualBox）

VirtualBoxのUbuntu VMのStorageのSATAの設定で、「Use Host I/O Cache」をonにする。

やってないときの症状（Ubuntu）

apt install xxx
をしている最中に、UbuntuごとAbortする。

より詳細には、サーバーからpkgをダウンロードしている途中（After this operation, xxx kB of additional disk space will be used.でyesと答えた後）で、aptが進まなくなる。 マウスとキーボードはしばらくは動くが、他のterminalでコマンドを打っても応答がなく、そうこうしているうちに、UbuntuがAbortする。

対処手順（VirtualBox）

VirtualBox ManagerでUbuntuを選ぶ。
Setting -> Strage -> Sontroller: SATA
でUse Host I/O Cacheにチェックを入れる。

参考URL

HostのFreeBSDの管理者からの、「別のFreeBSDマシンでVirtualBox上でWindows使っているが、SATAのUse Host I/O Cacheをonにしたら安定した」という口コミ。
（一次ソースが見つからない。）

やること3.（Ubuntu）

GuestのUbuntuで、Waylandを無効にする。　

やっていないときの症状（Ubuntu）

インストール後、Bootしてもログイン画面が出ず、一面黒（より正確には、黒とUbuntuのイメージカラー（臙脂色？）を混ぜた色）になる。

対処手順（Ubuntu）

Ubuntuをrecovery mode（FreeBSDのSingle User Modeに近いのか？）で立ち上げ、
/etc/gdm3/custom.conf
の
#WaylandEnable=false
の行頭の#を落とす。詳細手順は、参考URLに詳しく記載されている。

参考URL

Ubuntu 18.04 LTSが起動しない？Waylandを無効にすれば起動するかも！|LFI
https://linuxfan.info/ubuntu-gdm-wayland-false


以上

循環リストの応用例その2（Luhnアルゴリズム）

Luhnアルゴリズム（Luhn algorithm）は、
様々な識別番号の認証に使われている単純なチェックサム方式。
たとえば、クレジットカード番号にもこの方式が使われている。
詳細は wikipeida参照。

このLuhnアルゴリズムのさまざな言語での実装が、
Implementation in 88 languages on the Rosetta Code project
に載っているので、そちらを見ていただいても構わない。

で、先日ISBNのコードを書いている途中、
たまたまLuhnアルゴリズムに出くわしたので、
「関数の循環リスト」を使った、schemeでの実装を書いてみた。
なお、入力は文字列として受け取る。

(define (check-luhn num-string)
  (define luhn-digit
    (circular-list (lambda (x) x)
                   (lambda (x) (vector-ref #(0 2 4 6 8 1 3 5 7 9) x))))
  (zero? (remainder (fold + 0 (map (lambda (f x) (f x))
                                   luhn-digit
                                   (reverse (map digit->integer (string->list num-string)))))
                    10)))
;; (check-luhn "1234567812345678")


なんというか、schemeならではの素敵なコードになったと思うので、
ここに記録しておく。

以上

ISBNチェッカー（循環リストの応用例）

循環リストの応用例

最近、ISBNの入力ミスを発見するためのスクリプトを書いた。
循環リストを使った美しいコードだと思う。

だけど、「循環リスト（Circular list）なんて観念で、
（理論の）完全性のために存在しているだけ」と言われることがある。
また、Googleで「循環リスト」を検索すると
関連検索として「循環リスト 応用例」を提案してくる。

でも、循環リストを使わないと実現しにくいアルゴリズムもあるし、
循環リストはSchemeの楽しさを高めている思っている。
そして私はこよなくschemeを愛している。
だから、ここに実用的な「循環リストの応用例」として
ISBNチェッカーを公開する。

ISBNチェッカー

ISBNは書籍を一意に示すための番号である。
ISBN-13の最後の1桁はチェックデジットであり、以下のように計算される。
----- -----
現行規格のISBN (ISBN-13) のチェックディジットは、JANコードと同じく、「モジュラス10 ウェイト3・1（モジュラス10 ウェイト3）」という計算法にて算出される。（チェックディジットを除いた一番左側の桁から順に1、3、1、3…を掛けてそれらの和を取る。和を10で割って出た余りを10から引く。ただし、10で割って出た余りの下1桁が0の場合はチェック数字を0とする。）
----- -----
「ISBN」（2018年12月21日 (金) 08:59UTCの版）『ウィキペディア日本語版』より引用[注1]。

• [注1] ISBNのチェックディジットの計算法の一次ソースは、
  International ISBN Agency (2012). ISBN Users' manual (PDF). isbn-international.org (Sixth International ed.).
  であり、
  A1.1 Calculating the Check Digit
  に同内容ことが書かれていることは自分で確認したが、
  翻訳が面倒だったので、wikipediaから引用した。
  

これを実装すると以下のようになる。ただし、入力は文字列として受け取る。

(use srfi-1)
(define (check-isbn13 num)
  (define weight (circular-list 1 3))
  (zero? (remainder (fold + 0 (map (lambda (x y) (* x y))
                   weight
                   (map digit->integer (string->list num))))
            10)))


「一番左側の桁から順に1、3、1、3…を掛け」るところに循環リストを使っている （(circular-list 1 3)は'(1 3 1 3 ...)となる循環リストを返す。）。
左から1桁ずつループして拾っているのだけど、
掛ける数が1と3で交互なので、
(1 3 1 3 ...)となっている循環リストに対して、
carで先頭を拾って使い、cdrして残りを次のiterationに渡している。
場合分けとかフラグとかを使っていないところが美しいでしょう？

うさぎとかめのアルゴリズム

ところで、あるリストを与えられた時、それが循環リストになっているかをチェックする コードが以下にある。

• http://www.geocities.jp/m_hiroi/func/abcscm14.html
  お気楽 Scheme プログラミング入門、 ●循環リストのチェック(2019年2月1日アクセス)
  

大変美しく、ぜひご覧いただきたいので、ここで勝手に紹介する。

以上

ふわっとした情報から一次ソースまでたどり着く方法（RFC編）

0. 要旨

「メールアドレスのドットの連続はRFC違反」みたいな ふわっとした情報があって興味をもったとき、 技術屋なら 「どのRFCのどのセクションにどのように記述されているか」 みたいな一次ソースを当然確認したくなるでしょう？
今回、メールアドレスのルールが気になって調べたのでここに記録しておく。

1. 一次ソースまでの道のり

1.1. Wikipedia日本語版「メールアドレス」

ざっと説明を読む。ふむふむ。 RFC 5321とRFC 5322への参照がある。 取り合えずリンクを開く。
（今回は、Wikipedia日本語版に参照先まで書いてあってラッキーなパターン。 日本語版に参照がなくても英語版を眺めると参照先が見つかることもあるし、 さらにインターネットをさすらう場合もある。）

1.2. RFCを眺める

タイトルは
RFC 5321：Simple Mail Transfer Protocol
RFC 5322：Internet Message Format
で、どちらもボリュームがある。
RFC 5321から読むことにする。

1.3. RFC 5321を眺める

まず左上にObsoleted byがないことを確認する。
（もしObsoleteになっているなら、 Obsoleted by: XXXXのXXXXを読むべきだから。）
長いのでさらさらスクロールしてみる。
中程でバッカス・ナウア記法（BNF）的な 表記を見つけて手を止める。その節は 「4.1.2.  Command Argument Syntax」。
読んでみるが、いまいち解決しない。
@の左側はLocal-partと呼び、それはDot-stringであって、、、 と書いてあるが、atext以降が解決していない！ そしてこの文書にはatextはこの1個しかない！

1.4. RFC 5322を眺める

気を取り直して、RFC 5322を開き「atext」を検索する。 3個めのatextでBNF的な表記に出くわす。その節は「3.2.3.  Atom」。 atextが定義されている。なんだatextは普通の文字 （アルファベットと数字といくつかの記号）のことか。

1.5. RFC 5321に戻る

ここで、RFC 5321 4.1.2に戻る。
----------------------------------------------
（前略）
   Dot-string     = Atom *("."  Atom)
   Atom           = 1*atext
（後略）
----------------------------------------------
たしかに、Local-partは確かにドットは連続しないわ、と納得する。

＜読み方＞
読み方は人によるところが大きい。
私はボトムアップが一番理解しやすいので、 最下層（定義に近いもの）から順番に組み立てるように理解する。
「Atomは任意個の普通の文字。
Dot-stringは先頭にAtomあって、その後に任意個の｛.（ドット） とAtomの連結｝が続く。
ということは.（ドット）は連続で現れないし、先頭にも最後尾（@の直前）にも現れない！」

1.5. RFC 5321とRFC 5322

だけど、RFC 5321の途中からRFC 5322の定義を読むのでよいのか、 と我に返る。
RFC 5321で5322を検索すると 「1.2.  History and Context for This Document」に 「RFC 5322はcompanion documentだよ」と書いてあるので、 よいことにする。

2. おまけ

2.1. ITEFのRFCのページ

ITEFのRFCのページは便利。
https://tools.ietf.org/html/rfc5321
Obsoleteになっているもの、updateがあるものは 最上部で分かるし、 他のRFCへの参照はハイパーテキストリンクになっている。

2.2. バッカス・ナウア記法（Backus-Naur form）

BNFは学部3年のときに情報学科の講義で勉強して、 なるほどすごい、と思った。
でも、いつもギリシャのお酒の好きな神様を思い浮かべてしまう。 （綴りはちょっと違う）

2.3. Request For Comment

RFCに「違反」という言葉は似合わないと思っている。
「法令」ではない、ただの「Standard」なのだから、 「準拠していない」くらいが適切と思う。

以上

[FreeBSD] uim-anthyは動きます（FreeBSD 11.1、 2018年2月）

0. 要旨

2018年2月、FreeBSD環境で、portupgradeからpoudriereに乗り換えてportsを全体的に入れ直したら、日本語が入力ができなくなった。
MATEのStartup ApplicationsとしてiBusが立たないようにして、
# uim-module-manager --register anthy
して、
$ uim-pref-gtk
で設定を直したら、また日本語が入力できるようになった。

1. 環境

OS:FreeBSD 11.1-STABLE
PackageとPorts: portupgradeからpoudriereに乗り換えた
input method: uim※

※uimは昔から使っている。
~/.xsessionに以下を書いている。
export GTK_IM_MODULE=uim
export XMODIFIERS=@im=uim
uim-xim &
~/.uimに以下を書いている。
(define default-im-name 'anthy)

2. 状況と検索と試行錯誤

FreeBSD環境で、portupgradeからpoudriereに乗り換えてportsを全体的に入れ直したら、日本語が入力ができなくなった。

2.0 設定の上書き？

設定が上書きされた可能性があるので、確認する。
（System->Preferences->Personal->Input Methodで、uim-pref-gtkというuim設定用のAplicationが立ち上がる。）
Hotkeyが変わっている気がしたので直したが、解決しない。

2.1 iBus

こういうときはiBusがhotkeyを食べている可能性がある。
$ ps -aux |grep ibus
したらibus daemonがいる。ibus daemonはいらないので、killする。
それからMATEのStartup Apllicationsを確認したらそこにもいたので、削除する。
（System->Preferences->Personal->Startup Applicationsで、MATEが立ち上がった時に立ち上げるデーモン類を設定する）

2.2 状況調査

• atril(MATEのpdf/ps viewer、gnomeのevinceにあたる、いつの間にかgtk3に依存するようになっている)の検索窓にも入力できない。
  ということは、2017年5月とは違いgtk3まわりの問題ではなさそうだ。
  
• よく見ると
  uim-pref-gtk
  のGlobal SettingでAnthyが選べない。
  Canna, SKK, Ajaxとかあるのに、Anthyがない。
  
• いろいろ検索していると、ある nakagami の日記 で~/.uimに
  (require-module "anthy")
  という見慣れない記述を見つける。これは何だ？
  
• さらに色々検索していると、
  CustomizeUim で~/.uim.d/custom/というディレクトリが出てくる。
  ls ~/.uim.d/custom/
  すると
  custom-skk-keys1.scm
  ...
  custom-tutcode-keys1.scm
  とかあるのに、
  custom-anthy-*.scm
  は1つもない。
  
• 何の気はなしに、
  $ uim-
  でタブを押してどんなコマンドがあるかなと見ていたら uim-module-managerというコマンドを発見する。
  $ uim-module-manager
  Usage:
    uim-module-manager [options]
  
  Options:
    --register <modules>   Register the modules
    --unregister <modules> Unregister the modules
    --path <path>          Target path where installed-modules.scm
                           and loader.scm to be installed
    --unregister-all       Unregister all modules
  
  Example:
    uim-module-manager --register anthy skk
    uim-module-manager --register prime --path /usr/local/share/uim
    uim-module-manager --register personal-module --path ~/.uim.d/plugin
  
  Note:
    Registeration and unregistration cannot be done simultaneously.
  
  やってみる。
  $ uim-module-manager --register anthy
  ファイルのパーミッションがないと言われた。
  

3 解決

$ sudo -s
# uim-module-manager --register anthy
をする。

~/.uim.d/custom/
の下に
custom-anthy-*.scm
が一式できた。（他のcustom-skk-*.scmなどの一式も更新された）

$ uim-pref-gtk
左側にAnthyが登場した。
Enabled input methodsには並んでいないが、 Editを押すと、disableにAnthyが登場していた。
Anthyをenableに、それ以外をDisableに移動した。 他のセッティングも下の画像のとおりに直した。

これで、元のように日本語が入力できるようになった。
めでたしめでたし。

といだ後の米の重さ

序

食事の用意をしているときに、ふと気づくと「今日はお米を何合といだっけ」と 分からなくなることがありますね？
「といだ後の米の重さ」で検索したけれど、根拠のある数字が見つからなかったので、 自分で測定しました。
（追記：今、この記事を書きながら「米 吸水」で画像検索すると、いくつかのウェブページが見つかりました。でも実験したので公開します。）
もちろん、米の品種、とぎ方、水温、浸水時間などたくさんのパラメータがありますので、 参考値としてご利用ください。

実験条件

米の品種：ゆめぴりか
米の量：計量カップで1.5合はかりとる
（確認のため、1合の重さを測定したら、148gだったので、実際は1.5合強である）
季節：6月〜7月
※食べるために炊くついでに測定しているので、データはそれぞれ違う日に測定している。

実験方法

1. 計量カップで米1.5合はかりとり、重さをはかる（乾燥重量）。
2. とぐ。
3. ざるにあげて、軽く水を切って重さをはかる（といだ直後の重量）。

4. 水に30分つける。（余裕があれば水温を測定する）
5. ざるにあげて、軽く水を切って重さをはかる（吸水後の重量）。
6. 炊いて、食べる。

実験結果

乾燥重量(A)[g]	といだ直後の重量(B)[g]	B/A	吸水後の重量(C)[g]	C/A	吸水開始時の水温[℃]	吸水終了時の水温[℃]
225.5	252.5	1.120	290.0	1.286	22.7	22.9
230.0	257.5	1.120	294.5	1.280	25.3	25.3
230.0	256.5	1.115	299.0	1.300	25.2	25.4
228.0	255.5	1.121	290.0	1.272
230.5	258.5	1.121	300.0	1.302
228.5	256.0	1.120	300.5	1.315	25.8	25.9
229.0	256.5	1.120	298.5	1.303	25.3	25.5
228.0	256.0	1.123	296.5	1.300

結論

米の乾燥重量は、1合約148gである。
米をといだ直後の重量は、乾燥重量の約1.1倍になっている。
米をといで30分浸水後の重量は、乾燥重量の約1.3倍になっている。

補足

データをプロットしてみると、嫌な感じにバラつく。
コントロールできていない変数がありそうな、ちゃんとできていない実験のようなデータで、論文なら査読を通らなそうだ。
だから、誤差の推計も解釈もしないで、そっと「約1.X倍」とだけ言って、この記事は終わりにする。

以上

[FreeBSD] firefox 53.0.3とuimとgtk3

0. 要旨

2017年5月、Freebsd環境で、firefoxを53.0.3にportupgradeしたら、日本語が入力ができなくなった。
pkgsrcめも - isihara＠るるる.おーぐのぺーじの
「uimにgtk3オプションを入れてmakeし直すと、入力できる。（デフォルトでは入っていない。）」
の記述をヒントに、
portupgrade -N textproc/uim-gtk3
したら日本語入力できるようになった。

1. 環境

OS:FreeBSD 11.1-PRERELEASE #2
Firefox: 53.0.3にversion upした。（穴はさっさと塞ぐべし。）
input method: uim※

※uimは昔から使っている。
~/.xsessionに以下を書いている。
export GTK_IM_MODULE=uim
export XMODIFIERS=@im=uim
uim-xim &

2. 状況と検索と試行錯誤

Firefoxのバージョンを上げたら、日本語が入力できなくなった。
atril(mateのpdf/ps viewer、gnomeのevinceにあたる)の検索窓には日本語を入力できる。
ということは、input method側の話ではないのかもしれない。

検索ワードを変えて、色々googleで検索する。
"firefox 53 日本語"；それらしいものはみつからない。
"firefox nihongo"；日本語が入らない人のために、"nihongo"が入るようにしているページを期待したが、とくにない。
"firefox input method"：add-onの話ではないのだよ。
"firefox uim"： FreeBSD + uim-anthy + Firefox | どうでもいいブログ - TeaCup
その情報、重要で記録に残していただいてありがたいのだけれど、その部分はすでに正しくなっている。
…
"firefox gtk_im_module"：似た状況の人はいないようだ。それにしても、最近はuimはトレンディでないのかしら。
…
"firefox uim",1か月以内： pkgsrcめも - isihara＠るるる.おーぐのぺーじ

 www/firefoxでuimで日本語入力できない [2017/5/6]
uimにgtk3オプションを入れてmakeし直すと、入力できる。（デフォルトでは入っていない。）

という記述がある。

BSDの話だし、時期も近いし、やってみようと思ってportsを見ると
textproc/uim-gtk
textproc/uim-gtk3
と2つある。何だこれは！uim-gtkしか入っていないぞ！と textproc/uim-gtk3もportsからインストールする。

rebootしたらfirefoxで日本語入力できるようになった。
めでたしめでたし。

先達のたった2行で解決できたことに感謝し、私も記録を残すこととする。

3. 推測

firefoxはしばらく前から、gtk2とgtk3の両方に依存しているようだが、
Input Methodまわりがgtk2からgtk3に変わったのかな。
（/usr/ports/graphics/atril/Makefileを見ると、atrilはgtk2に依存しているようだ。）