【雑記】可読性の高い数学の証明について

こういうツイートを見た。

数学の証明は左のように詰められていることが多い
明らかに見にくいし、論理構造を把握するのに若干頭を使う
右のノートでは要点や論理構造が分かるように整理する努力をしている
こうすると可読性、復習効率が上がる
教科書や論文もすらすら理解できるように書く文化になってほしい pic.twitter.com/4iYigcuh5V

— Riemannian Submersion (@Submersion13) 2022年10月15日

https://twitter.com/Submersion13/status/1581294923612975105?s=20&t=FtZQHWW_2V9kpHgtoWL4_w

左の例が読みづらく、右のように構造を明示すればどうかというツイートである。たしかに、線状の文章ではなく入れ子状の箇条書きにすることで、よりわかりやすくはなっている。しかし、箇条書きで構造を明示しないような方法でも、もっとうまい書き方があるだろう。左側の文章は、「よくある数学の証明」にしても読みづらすぎると思う。

というわけで、読みづらさの原因はどこに潜んでいるかを、ちょっと考えてみる。

【キーボード】HHKBを買った。

アメリカ西部のカウボーイたちは、馬が死ぬと馬はそこに残していくが、どんなに砂漠を歩こうとも、鞍は自分で担いで往く。馬は消耗品であり、鞍は自分の体に馴染んだインタフェースだからだ。いまやパソコンは消耗品であり、キーボードは大切な、生涯使えるインタフェースであることを忘れてはいけない。

＿＿＿東京大学名誉教授 和田英一

Happy Hacking KeyBoard HYBRID Type-S (HHKB) を購入した。

購入当初の写真

これを買ってからというものの文字入力の調子がバチコリよくなった。

みんなも HHKB を買おう。

おわり

【キーボード】はじめての高級キーボード選び

まえがき

おれが研究で忙しくてブログを放置していたら、 HyperX や Razer が軒並みセールをはじめたので、急いで書かざるを得なくなった*1

ぴえん

ミカグラです。

本日は、キーボードの記事。

文書を書く。絵を描く。ゲームをする。あるいはコードを書く。日常のさまざまな活動において、もはや PC は必需品となってきました。そして、 PC 操作に欠かせないのがキーボード。

この記事は、仕事・趣味でキーボードを使う皆様に、高級キーボードをおすすめする記事です。

*1:9月末までらしい。詳細は調べていただければと思います。

【旅行記】愛知県西尾市で一日遊び倒した話

先日ほぼ思い付きで行った愛知県西尾市がけっこうよかったので、そのログを書き残しておくことにする。

高校の後輩と一緒に行った。名前がないと書くのが面倒なのでここではカナちゃんと呼ぶことにする。ミリも本名に被っていないので大丈夫だと思う。

目次は時系列順。

【雑記】日本語検定準一級に合格しました

表題の通り、日本語検定準1級に合格しました。

なんかすごそう！

今回は日本語検定の受験記です。ゆっくり読んでってください。