書類仕事や職場のWeb更新作業。
明日の授業の準備をすこしやりかけたと思ったら，もう夕刻の帰宅時間である。あっという間に時間が過ぎた。やりたいことは何もできず。英語文献を読むつもりだったのに。
新調したスマホGoogle Pixel3は基本ソフトがAndroid 9 Pieなので，新しい機能をいろいろためすことができる。
ユーザー補助機能である「音声文字変換」を試してみた。
AIアシスタントに話しかけるとき，すでに実力の一端は垣間見ているわけだが，ユーザー補助機能では，しゃべり続けている音声を見やすくテキスト化して表示してくれる。日常会話に字幕をつけてくれる感覚が新鮮だ。これはこれで便利。
残念ながらテキストを保存する機能はないため，文字入力に使いたければ通常の音声入力を利用することになる。Google音声入力をドキュメントアプリで使えば，長く話しかけている音声を連続的に入力することは難しくない。
ただ，どうしてGoogle音声入力のインターフェイスには，「バックスペース」キーはついているのに，「改行（リターン）」キーをつけてくれなかったのか。音声入力最中でも，区切りをつけたいと思う箇所に改行が打ち込めるとあとから編集がしやすくなるはずなのに，このままだと，しゃべり続けた文が全部連続してしまって，あとから区切り箇所を見つけるのが難しい。
とにかく，機械学習進化のおかげで，ずいぶん便利さが増した。時間は足りないけれど。