Keychron K6 Pro QMK/VIA ワイヤレスカスタムメカニカルキーボード（US ANSI 配列）keychron.jp
長年、初代HHKB Professionalを使っていて(2004年製!)、特に壊れた、と言う訳でもないのだけど、さすがに打鍵感とかも厳しくなってきたので、最近話題のKeychron K6 Proを導入(赤軸)。
公式サイトから注文して、約1週間ほどで到着。出荷状況は割とリアルタイムに参照できたのが凄い(国内に来てからの方がアップデートが滞ってた印象)。
Keychronと、HHKBの両方を同じくらい使っているんだけど、Backspaceの位置が違うから、タイプミスをした時の誤りが大きいんだけど、これはタイプミスをしなければいいのか
— magnoliak🍧 (@magnolia_k_) 2023年3月18日
赤軸の、ストロークの長い打鍵感がちょっと慣れないところもあるけど、じきに慣れそう。
VIAによるキーマップ変更が異常にわかりやすく、つなぐだけでKeychron K6 Proを認識してリアルタイムにキーマップを書き換えられる体験が良かった。
久しぶりのオフライン開催YAPC!！
（オンライン開催が当たり前になってきたので、わざわざオフラインって言うようになったのは、回転寿司に対する固定寿司みたいな言い方ですよね）
自分がスタッフ参加したYAPC::Tokyo 2019が終わった後に「次は京都か？」という話が出て、実際に2020年に開催が決まったものの、無念の延期決定...そこからの復活！
とはいえ、残念ながら現地参加は叶わず......そしてオンラインも夕方になってようやく参加できた、ということでちゃんと通してみれた発表はyusukebeさんのHonoの開発経緯と、LT、大西さんのキーノートくらい
yusukebeさんのトークも、大西さんのキーノートも、「人とのつながりが有って、今ここに居る」感がすごく良かったですね。二つの発表は時間軸こそ全然違うんですけど、色々なことが繋がって、その先へ進んでいく感じが（偶然にも）シンクロしてて、いい話だなーって思って聴いていました。
自宅からのオンライン参加だったので、TwitterのTLで現地参加している人たちの楽しそうな様子が見えて、ちょっと羨ましかったです
地方カンファレンス、大人の修学旅行感が有って、いつもいいなーって思ってるけど参加できてない
— magnoliak🍧 (@magnolia_k_) 2023年3月20日
次回の開催も有りそうなので、次回こそは現地参加したいと思っています
『Go言語プログラミングエッセンス』、C言語の勉強に役立つなぁ（？）
— magnoliak🍧 (@magnolia_k_) 2023年3月11日
普段、Go言語のコードを書くことは無いのだけど、ざっと読むくらいのスキルは身につけておきたいなーと思って、『Go言語プログラミングエッセンス』を読み始めた。
単に言語の仕様とか、ツールの使い方を知りたいだけならば公式ドキュメントを読んで、他の人のコードを読んで、実際に書いてみればいいのだけど、この本ではしつこいくらいに、「他の言語との比較」や、「仕様が決まった背景」が語られている。
変数や関数の定義の記述順に関しては、わざわざC言語の構文解析の難しさを図を使ってまで説明した上で、「一方、Go言語ではこうなっている」と説明されてとても分かりやすかった。
このように、著者であるmattnさんの長年の経験から「ここは背景を踏まえて説明しないと納得感が得られないな」と思われるところにはページ数を割いてしっかり説明されているところが、本書の良いところ。
エラー処理が一見冗長に見えるけど、なぜこう書いた方がいいか、というコラムはなんと４ページも使っている。
その後もテストや、コマンドラインオプション、ベンチマーク、データベースと、「実際のアプリケーションを書くためには、ここを押さえておくよね」という所がしっかり解説されてて、実際にコードを書き始めたら読みたくなるテーマが網羅されている。
他の言語でも入門書の次に読むべき本って無いよね、という話になりがちだけど、この本はまさにそんな1冊だと思います。
モデルを作ろう！とすると、取捨選択なしにいきなり、出てくるあらゆる要素を全部詰め込んだ、「全部入りの」「完璧な」モデルを作ろうとしてしまう事象
— magnoliak🍧 (@magnolia_k_) 2023年3月4日
とはいっても、何も無いところから突然モデルができあがる訳もなく、ユースケースや、具体的な入出力から、モデルとして残すべきことを蒸留していくんだろうけど、先回りしてロジックを考え過ぎると「あれもいるし、これもいる」ってなっちゃうよね
— magnoliak🍧 (@magnolia_k_) 2023年3月4日
ドメインモデルは、事実を記録する、と言われてれも、「全部事実じゃん？」みたいな受け答えが発生するし、「これが漏れている」と言われると入れないといけなくなっちゃうけど、今それ議論するフェーズでしたっけ？っていう
— magnoliak🍧 (@magnolia_k_) 2023年3月4日
なまじ全面更改！とか言って、長い歴史の中で多層的に積み上がったモデルがあると、その引力を断ち切るのは難しいし、「これはどこ行ったの？」ってなるとね
— magnoliak🍧 (@magnolia_k_) 2023年3月4日
ドメインモデルを作るんやーと言っても、それぞれユースケースや、具体的な入出力の内容と紐づいた具象に強く引っ張られ過ぎると、「目の前にあるものぜんぶ」を詰め込みたくなるけど、そうじゃないよねーって一回戻す作業をする強靭な心を身につけることが設計だったりしませんか。
今はそれは議論しない！取り込まない！なぜならばーと強く言えるように、深く対象のドメインと、ユースケースと、過去の経緯と、周りの価値観と、スケジュールと、予算と……その他人間のこころとからだのぜんぶを理解して設計していくんですか、そうですか、たいへんですね。
追加
それは完璧かもしれないけど、関心を集中させたくない余計な要素がくっついて見通しが悪くなって、本質に集中できなくなっている状態じゃね？っていう
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
今の関心に集中したいんだよ、ノイズは要らないんだよっていう
疎結合か密結合か、ではなく、「その時の関心にフォーカスできる分量になっていることが大事なんじゃないかなー
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
人間、同時に把握できる要素の数なんてたかがしれていて、脳みそのメモリーを過剰に消費すると、本来のことに集中できなくなるんだよ
「その時の関心にフォーカスする」ために、抽象性が導入されていたり、関係の強弱や、依存の方向性がコントロールされていないといけないんだよ
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
「その時の関心」って何だろうっていうと、後からコードの振る舞いを確認するときや、改修の時の影響箇所の特定とか、とにかくコードに触れるユースケースのそれぞれなんだけどさ
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
機能はどうなっていますか？ドキュメントとコードは合っていますか？こんなデータが来たらどうなりますか？こんな使い方をしたらどうなりますか？使っているAPIの挙動が変わったらどうなりますか？
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
日々、いろんな理由で、そのコードに関心を持たなければいけないのですよ
クラス図に、「すべての」クラスを書こうとする過ちをしていたあの頃
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
読めないんだけど
シーケンス図に、アルゴリズムを書こうとする過ちをしていたあの頃
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
書けないんだけど
一つの価値観として、「設計」とは、「コードを書く上で必要な要素を漏らさず、すべて挙げ、定義することである」という世界観はあるのだけど、これが世間で言われている「設計方法論」と相性悪いんだよな
— magnoliak🍧 (@magnolia_k_) 2023年3月5日
TwitterのTLで見かけた、佐伯 胖さんの書かれた『学びの構造』という本が気になって読んでみた。
昭和50年に発行されて、今年になっても増刷されている歴史ある1冊。
元々、学校教育の現場の人向けに書かれている本みたいだけど、「学ぶことを指導する立場」の人であれば必ず刺さる内容ばかりだった。
特に第二章の”「おぼえる」ことと「わかる」こと”で語られている、「わかる」の定義は必読。
「わかる」とは「わからないところがわかる」ことだと定義し、そこから「わからない部分」に行き当たると「疑問がわき」、それが全体を統合する働きをする、という流れは非常に納得感が有った。
そう、確かに分かっていないと疑問にも思わないし、質問も出てこない。そして「分かった気になって」、やろうとしても実は理解していないから「手順通りのこと」はできても、その先ができない。
自分が、「この分野をある程度は理解した」と言える知識領域があると言えるときって、矛盾や空白が有ればそれを指摘できる状態だし、他人があることに学んだ状態を確認するときに、「もう少し背景や、関連する知識も押さえておいてほしいな」と思うことがあるのは、「それだけだと今はいいけど、ちょっと応用が発生するとできないな」と感じるからだし。
この「わかる」こととは何か？という定義を理解するだけで読む価値が有るし、続く章も、学びにまつわる、興味深い考察が続く。
第三章「道徳はいかに学ばれるか」 第四章「機械で学ぶことはできるか」 第五章「学び続ける存在としての人間」
あと、第一章「学ぶ人、学ばぬ人」の冒頭に出てくる「学べない人間」の３タイプが、「無気力型」「ガリ勉型」「ハウ・ツゥ型」の３種類挙げられているのが、初手でがツンとくる構成になっているのも良かった。最初の一つ目は当然として、なぜ後者二つも「学べない人間」に分類されているかは、本書を読んでみてください。
わかるーって思わず言ってしまうと思います。
追記
「学ぶこと」とはどうあるべきか？という思想的なところは、人によっては見解も分かれるかも
— magnoliak🍧 (@magnolia_k_) 2023年3月4日
「言われたことだけやっていればいいじゃないか、なぜそこまでコミットしないといけないんだ」という発想もあると思うし、そこを仕事で突き詰めていくと「社員も経営者目線を持て」みたいな話になっちゃうし
この本では、「学ぶこと」の先の振る舞いや、思考に対して一定の期待値、こうあってほしいという思想が有る。
一方で、みんながその思想の通りになるべきなんだろうか、というのも有って、例えば上記のツイートのように、「志高く、事業にコミットするための学びを発揮してほしい」という期待値が経営サイドに有る時に、果たしてどこまで、そのような振る舞いをすべきなのか、というところは、「他人がとやかく言うこと」でも無いし、強制できるものでもないじゃないか、とも言えるかもしれない。
結局、「人による」となってしまうと、要はバランス、みたいになってしまうんだけど、難しいよね（誰視点？）
年齢も上がってきて、集中力の持続力が落ちてきたなーと思うことが多くなってきたので、あらためてポモドーロ・テクニックをやってみることにした。
まずはなにごとも形から、ということでTime Timerというタイマーを買った。
見ての通りの、最大60分までの、設定は手動（ダイヤル回すだけ）、カウントダウンは単三電池駆動の電動、というシンプルなもの。
ダイヤルを回して設定する感じがよくて気に入っている。スマホだと、余計な情報も出てしまうし、思わず別の通知とかも見ちゃうので、この手の専用品の方がいいなと。
改めて25分を意識するとそれはそれで持続できることもわかったので、しばらく続けてみよう。
Time Timer、けっこういろんな種類がある。
なぜかiPhoneのpodcastアプリの再生状態がリセットされてしまって、購読しているpodcastの再生回が分からなくなってしまった。
そこで、ふと一番よく聴いている宮川達彦さんのRebuild.fmを第一回から聞き直してみると、丁度10周年（先日のエピソードでそう言っていた）ということで、10年前の空気感が感じられて面白くなってずっと聴いている。
何気なくhttps://t.co/9JjdrBEhcgの第一回を聞き始めたら2013年って言ってて驚いた
— magnoliak🍧 (@magnolia_k_) 2023年1月28日
昔のhttps://t.co/9JjdrBEhcg聴き直しを続けているけど、ずっとPerlの話をしている回とか、Dockerっていうのがあってさ！って話をしている回とかあって面白いなー
— magnoliak🍧 (@magnolia_k_) 2023年2月9日
ブログとかだと分からない当時の雰囲気って感じだ
いくつかピックアップしてみると...
記念すべき第1回。
LTSVの話題が懐かしい。シンプルな解決方法なんだけど、色々な言語のパーサーが一斉に広がったところとか、インターネット感溢れるムーブメントだった、みたいな話が良かった。構造化ログの話を今でもしているので、そこに通じるものがありますね。
まつもとゆきひろさんを迎えての、Ruby20周年の話。
それから10年経って、今年30周年を迎えてもまだまだ進化を続けているところが凄い。
Perlコミュニティの話。
自分はPerlコミュニティが最初の出発点だったから、この辺の話がとにかく懐かしい。
今年もYAPC::Kyoto 2023という形でコミュニティの活動が続いているのも凄い。
全編Perlの話。
Perl 5.18の新機能の話だけで話題が尽きないところが、今ではもう無いなーという回。
この回が聞き直した回の中では一番面白かった。
出たばかりの頃のDockerに対する感想というか、ここからどう環境構築が変わっていくか、みたいな話が非常に興味深かった。
この先生き残るのか分からないけど、実際残った技術に対する出始めの頃の生の評価が聞けるのは貴重だなー。
Go言語の話。
Tour of Go、とりあえずやったなーみたいな頃。
なんとこの回からタイトルがRebuild.fmになった。
第1回からではなかったのだ。
Perlのツールチェーンとか、Perl6とかの話。これまた全編Perlの話だった。
この回もすごく興味深くて、ChromebookがマイクロUSBで充電できる、PCがUSBで充電できるなんて！という驚きが語られている。
その後のUSB PDの普及で逆に「専用のACアダプタが必要なの？」という方に時代が変わったのが面白い。
DockerとかGoが出始めて、Perlがメジャーな言語から外れてきている、そんな時代の転換期感がブログとか、書籍では分からない生々しさで面白かったなー。
まだ半年分くらいしか聴けてないので、移動時間とかに引き続き聴いてみよう。
