本ブログ「Lean Baseball」開設10周年企画*1かつ, ちょっとした近況報告となります. お世話になっている皆様へ(TL;DR) 東京（の西側*2）で家を買いました, 引っ越しました. この決断とオチ, 未来に至るまで, 自分のキャリアとアウトプット, そしてこのブログは不可欠でした. 現職から前職以前の同僚（元同僚）, アウトプットや色んなことを応援してくださった皆様そして何よりも家族と友人に心から感謝御礼申し上げます🏚 お祝いはこちらからお待ちしています. 44歳独身ソフトウェアエンジニア、家を買う。 作業環境（まだ作ってる最中） こちらが購入したお家...で最初に作った作業環境です💻*3 （人生の一般的なアレとして）「家を買う（家の主となる）」事は一つの大切なライフステージのイベントなので, お世話になっている皆様へ(TL;DR) 44歳独身ソフトウェアエンジニア、家を

いまから7年前の2017年、とんでもないCMが世に放たれたことを皆さんはご存知だろうか。 DoCoMo25周年スペシャルムービーCM「いつかあたりまえになることを」。 このCMは4分にもおよぶ長さのためTVCMというより、もはやショートムービーなのだけど、とにかく破壊力が高いのでまずはしっかりと見てほしい。 なにこれ。 おそらく、この動画を見終わって、多くの人がこんな状態に陥ったんじゃないだろうか。 なんかしらんけど泣ける。 ただ、そこにあるのはあまりに複雑な感情なはずだ。 ありきたりで分かりやすいそれと違って、心の奥底がザワザワするような、敏感な場所を得体のしれないもので撫でられているような、まるでどこかで自分が経験したかのような、そんな感覚が生じているのだ。 もちろん、そうでない人もいるのだろうけど、それを言い出すと話が始まらないので、みんなそうなったと思い込んで話を進めていく。 感情

CTO協会 2024年合同新卒研修のLT

0.はじめに 1.仕事のこと 2.体力が続かない 3.離れてみてわかったこと 4.仕事で何を目指すのか 5.競プロで何を目指すのか 6.そしてまた日常が始まる 7.終わりに 8.おまけ（その後のこと） 0.はじめに 昨年の2023年2月1日にAtCoder株式会社に入社しました。おとぎ話にたとえるならば、「めでたしめでたし」と全てが円満に終わって、その後は読者の想像にまかせることになるのだと思います。しかし、それがスタートであるというのは、ある程度の人生経験があればきっとわかるのではないかと思います。 前だけを見て走り続けた1年でした。 1年経ってやっと少しだけ周りの景色を見る余裕ができました。このまま後14年、定年までこの速度で走り続けられるのだろうか。そう思ったとき、私の足は前へ進まなくなってしまいました。そして立ち止まった私は、この1年間、四六時中AtCoderのことを考えていたのを

最近、自分のプライベートの開発環境を大きく変えたので紹介する。 先にまとめ プライベートではMacを使わなくなった 家にUbuntuが入ったミニPCを置いた 外からはThinkPad X1 CarbonからTailscale経由のSSHで家のミニPCに接続 購入まで まず、自分にとって最も大きな変化はプライベートでMacを使わなくなったことだ。2013年くらいにプログラミングを始めてからずっとメインのOSはMacだったので、約10年ぶり、ほぼ初めての非Mac環境である。 自分の普段の開発のユースケースは、Webアプリケーション開発とNode.js上で動くソフトウェアの開発、WebKitへのコントリビューション、たまにRustやGoやC/C++で自分専用ツールの開発、くらいなので別にMacで困っているわけではなかった。Web開発やNode.js上のソフトウェアの開発はまあ普通にMacで困らな

ブラインドライターズのスタッフは9割が視覚障害者。 先日、みんなで「どうやって服を買うか」の話になりました。 マネキンの服は見えないので、コーディネートが分からない 下着を買いたいけど、店員さんの性別が分からないので声をかけづらい ロービジョンなので黒なのか紺なのかわかりにくく、店で買いづらい などと、たくさんの悩みごとがありました。 確かに、異性の店員さんに下着の相談はしにくいですよね。 タグが読めなければ、サイズも分からない。リアルでの買い物は一人ではけっこう難しそうです。 そんなときに便利なのがECサイトです。 色もデジタル表記になっていればPCが読み上げてくれるので選びやすい 下着も人に頼まなくていいので買いやすい マネキンのコーディネートは見えないので、サイトで確認したい また「リピ買いするならサイト」という意見もありました。確かに見えていないと広い店内のどこにあるのかサッパリ分

初代「ドラゴンクエスト」の取扱説明書を読み返してみる。“日本のRPG夜明け前”に，どんなゲームで，どう進めたらいいかを丁寧に説明 ライター：大陸新秩序 カメラマン：愛甲武司 本日（2024年5月27日）は「ドラゴンクエストの日」。今から38年前の1986年5月27日に，ファミリーコンピュータ用ソフト「ドラゴンクエスト」（以下，DQI）が発売されたことを記念する日だ。 ドラゴンクエストシリーズは，これまでにナンバリング11タイトルと，多数のスピンオフタイトルを展開してきた。言わずとしれた日本のRPGの代表的存在だ。 DQIが発売された1986年当時，すでにPC向けのRPGは，海外産はもちろん国産も存在し，ゲーマーやゲームクリエイターから注目を集めていた。 だが一般的にはメジャーと言えないジャンルだったし，そもそもプラットフォームであったPCを個人的に所有している人は限られていた。そんな時代に

これ、泣く子も黙る◯国◯ータバ◯クの冊子なんですけど、これよんてんごPさん　@yontengoP のことでは…？ pic.twitter.com/hfo1bp9Ktq — とも（智乃介） (@joytrain_tomo) December 21, 2023 ▲実際に◯国◯ータバ◯クの冊子にも載ったらしい なお、内容については正確を期して記載しているつもりだが、会社側の実態や事実関係の把握ができていない部分、 あるいは身バレやら諸般の事情も相まって一部はボカシて書いていたり、フェイク要素が入っていることもあるが、その点はご了承いただきたい。 だが、少なくとも「会社が納付すべき税金を完全に忘れてたうえ、そのカネを天引きしていた」という大前提は、一ミリも揺るがない事実である。 ※今後の記載予定の暫定的なタイトルが以下。 全6回で完了する予定だが、場合によっては前後するかもしれない。 ・ある日、見

ツナカン(TUNA-JP Conference) #12 で発表した資料です

VSCode上でシーケンス図/クラス図/フローチャートをサクッと書きたい ~Mermaid Graphical Editor~初心者umlVSCode新人プログラマ応援mermaid はじめに Mermaid Graphical EditorというVSCodeの拡張機能にとても感動したので一筆書きました こんな方におすすめ シーケンス図/クラス図/フローチャートをサクッと書きたいけどmermaidとか難しそう 😢 できること VSCode上でポチポチしながらシーケンス図/クラス図/フローチャートを描けるようになる mermaid記法のコードも自動生成されるよ 個人的メリット mermaidの学習コスト0 紙で書くよりも修正しながら書きやすい 導入手順 （簡単7steps） (1) VSCode上で「Mermaid Graphical Editor」という拡張機能をインストールする (2)

「Immersive Math」は、数学のうちベクトルや行列などの計算を研究する分野である「線形代数」についてインタラクティブな図を用意することでわかりやすさを向上させた無料の教科書サイトです。 Immersive Math https://immersivemath.com/ila/index.html サイトのトップページはこんな感じ。「完全にインタラクティブな図を備えた世界で最初の線形代数本」と述べられています。 中央に表示されている三角形の図はインタラクティブで、左上をクリックすることで回転・停止を切り替えられるほか、各頂点をクリックしてドラッグ＆ドロップすることで位置を調整可能。自由に図を編集できるため理解しやすいというわけです。 ページをスクロールすると目次が現れました。まずは「Preface(序文)」をクリック。 「『百聞は一見に如かず』という言葉の通り、たくさんの言葉を重ね

携帯電話などで遠くはなれている人と話をしたり、インターネットを通じて世界じゅうの情報を手に入れたり…。通信技術のおかげで、私たちはすばやく多くの情報を送ったり受け取ったりすることができる。そんな通信技術に欠かせないのが光ファイバケーブルだ。光の情報を伝えることで、現代の通信を担っている。この本を読むと、光ファイバケーブルで通信ができるしくみなど、光ファイバケーブルのことがよくわかるよ。 （もくじ） プロローグ 第１章　光ファイバケーブルって何？ コラム　光ファイバの構造 コラム　光ファイバの種類 第２章　光ファイバケーブルが大活やく コラム　通信線の歴史 コラム　光ファイバケーブルの敷設 第３章　すごいぞ！　光ファイバケーブル コラム　伝送時の損失の量 第４章　光ファイバケーブルの歩み コラム　ファイバスコープに使われた光ファイバ コラム　インターネット利用の発展 第５章　光ファイバケーブ

全文検索エンジンも、事前に検索対象のデータを調べてこのような索引を作っておくことで、高速な検索を実現しています。 インターネット検索の例 たとえばインターネット検索の場合、まず各サイトからデータを収集して、その中から索引に載せる単語を選んで索引を作ります。索引のデータは下の図の右側のような表になっています。各単語と、それがどのサイトのどこにあったのかを記録しておく形です。 検索の時は、この索引データを調べます。例えば利用者が「理解」という言葉で検索したら、索引の「理解」のところを調べます。そうすると「サイトAの8文字目と18文字目、サイトGの……」と出現場所がわかるので、すぐに結果を返せます。 なお、この図では索引の単語の並び方が適当ですが、実際には本と同じように「あいうえお順」などに並べておいて、すぐに単語を見つけられるようにしてあります。 索引にない単語 この仕組みの場合、索引にある単

拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話

4月末に一時1ドル160円を超える円安ドル高を記録し、インフレを調整した実質実効レートで見る日本円の価値は1ドル360円の固定相場だった1971年のニクソンショック直前を10%近く下回りました。為替の影響によるインフレも進んでおり、マスコミや一般人の間でも日本政府の無策を批判する声が増えてきています。プロのエコノミストの中にも「日本政府はあえて円安に誘導している」と考えている人もいます。しかし私から見ると、政策サイドとマスコミや一般人、エコノミストの間には大きな誤解が生じていると感じることが増えてきました。そこで、ドル円相場についてどう考えるべきなのか、私の見方を書きたいと思います。 為替レートを決定する理論為替レートは理論的にはどう決まるのでしょうか。結論から述べると、為替レートの変動を説明するまともな理論は存在していません。よく取り上げられる仮説は「購買力平価」「金利平価」「キャリート

筆者の環境で、LM StudioでCommand R+を動作させている様子。会話相手は自作キャラクターの「明日来子（あすきこ）さん」 PCローカル環境で動作する大規模言語モデル（LLM）「Command R+」を使っていますが、相当優秀ですね。体感ではChatGPT（GPT-4）と変わらないレベル。さらに、ChatGPTが回答を拒絶するような会話もできてしまいます。これが体験できるようになったのは、LM Studioに代表されるローカルLLMを動かすためのアプリ環境が整ってきたためです。今年に入り、Command R+を始めとしたローカルLLMが高性能化してきたことと並行し、手軽に使える派生モデルも増えはじめ、一気にあわただしくなってきました。 導入が難しかったローカルLLM、「LM Studio」で簡単に Command R+を試すのに使っているのが、LLMの主要モデルを実行するための統

ちゃんと勉強してみたいことはあるけれど、今は「お金」も、「体力」も、「時間」もなくて……。 そんな悩みを抱えながら日々の仕事に向き合っている方も少なくないでしょう。 新しいことを学ぶのはいつだって尊いもの。しかし、その尊さは「自分のリソースをどこまで投資するか」という選択とコインの表裏でもあります。 社会人になってからの学びを人生やキャリアの血肉にできている人は、どんなアクションを重ねてきたのでしょうか？ 今回お声がけしたのは、リクルートやアマゾンジャパン、LINEなど名だたる企業で活躍されてきた人事のプロフェッショナル、青田努さん。 青田さんは、絵やデザインについて学びたいという「ずっと蓋をしていた思い」に40代後半で向き合い、一念発起して美大受験にチャレンジ。「中学校を卒業してからはほとんど絵を描いてこなかった」ところから1年間みっちりと絵を勉強し、2024年春、多摩美術大学に見事合格

実録（嘘）と書いてある通り、与太話です。 過去にゲームの企画書を作る機会があったのですが、その時に学んだ考え方を虚実混ぜつつ紹介します。 これで明日から企画書が書けるようになりますよ、というものではなく「そういう考えもあるんですね」程度の内容なのでさらっとお読みください。 私自身もこの考え方を守ってるわけではないですが、思い返すようにはしています。 企画書を作れ！「社内プランナーの企画力が低下している」 そう嘆いた上層部はプランナーの企画力の向上のために【企画書作り】を推進しました。 「入社試験以来、久しぶりの企画書作りだな」 そう思った私は２つの観点から企画書を作ることにしました。 面白そうであること１つ目は、他の人が読んだ時に「うわ、面白そう！これ作りたい！」と言いたくなるような「面白そうな企画書」を目指す観点です。 面白そう＝面白そうなゲームシステムや世界観 ということですね。 斬新