海月玲二
2018-07-03(火)

無題

知らなかったけど,Gemini PDAでSKK for Androidを使ってる人が多少いるらしい.

SKK for Androidには「Gemini PDA向けにforkした版」というのが存在するので,そっちも試してみるといいんじゃないかと思う.キーボードレイアウトとか調整されてるらしい.

ところで,「使う前に,明示的に設定画面に行き,辞書の解凍をしないといけない」というのはどうもわかりにくいらしく,インストール時にちょっと詰まった人がいたようだ.アレは単なる俺の手抜きなので,誠に申しわけない.わざわざ設定画面を呼び出せるようにするとか,自動でどうにかするとか作るのがめんどうだったのだ.どうせ一回しかやんないし.

あとアウトライナー使うって人は,KLOAをGemini PDAで使うとどんなかんじなのか聞かせてくれると嬉しく思います.

2018-07-12(木)

無題

前期も終盤なので,某授業ではこれまでのまとめとしてちょっと複雑な課題を出したりしている.

でも所詮学校の半期でやれることなんか限られてるので,プログラミングが必要なのに配列もやってないみたいな状態である.そこで学生がやってることを見てると,なんというか「小学校で習ってない知識を使うと怒られるので,方程式を使わずに鶴亀算を解いている」みたいな味わいがあってちょっと面白い.

というか仮にも大学の教員たるもの,習ってない知識を自分で調べて使ってきたら多少ボーナス点ぐらいあげてもいいと思う人がほとんどだと思う.俺もそうだし,この授業を担当してるほかの先生もだいたいそうだろう.でも,大学生になるころには子供達はちゃんと調教され済みで,そんなことはしないのであった.