M1 mac の Rancher Desktop で intel のコンテナイメージを実行する
庄司です。 M1 mac にインストールした Rancher Desktop では Amd64 のコンテナイメージの実行ができません。 しかし、Rancher Desktop が利用している lima の GitHub リポジトリ にはマルチアーキテクチャについてのドキュメントがあります。 ドキュメントに書かれている Fast mode なら、Amd64 (intel) のコンテナイメージの実行が可能ではないかと考え試してみました...
記事を読むFresh - Deno の 次世代 Web フレームワーク
Deno のフルスタック Web フレームワーク Fresh v1.0 がリリースされました。 Fresh 1.0 筆者は Node.js ユーザーで Deno は Hello world 止まりですが、公式ドキュメントを読みながら試してみました。 Fresh 概要 # 公式ドキュメントに挙げられている特徴は以下の通りです...
記事を読む直感が理性に大反抗！「モンティ・ホール問題」
人生は選択の連続です。 選択を迫られたとき何を根拠にして選んでいるでしょうか。 直感を信じるか、理性を信じるか。 人によって重視するものは違うと思います。 今回は多くの数学者を巻き込んで大論争になった「モンティ・ホール問題」を取り上げてみたいと思います。 モンティ・ホール問題とは # 「モンティ・ホール問題」は、ベイズの定理における事後確率（主観確率）の例題として良く引用されます。 内容としては確率論の問題なのですが、「モンティ・ホール問題」の名前はアメリカのゲームショーに由来します...
記事を読む豆蔵社員のリモートワーク環境ご紹介 その３ 体に優しい環境を求めて
はじめに # 事業部長の無茶振りがついに私にも回ってきました。社員のリモートワーク環境紹介の3回目です。と言っても「2回目」とやや似たような環境になっていますので、選定の経緯などを参考にしていただけたらと思います。 筆者の働き方 # 普段は顧客のオフィスに出勤しそこで業務に就いていますが、コロナ禍により顧客がリモートワークになりました...
記事を読むJest再入門 - 関数・モジュールモック編
単体テストでは、テストを不安定化させる要因となる外部サービス、データベース等のステートフルなモジュールへの依存は極力避けるべきです。 これを実現するには、モックやスタブが必要になってきます。 Jestはモック機能が標準で備わっています。今回はJestのモック機能を見ていきましょう。 関数のモック化 # 基本的な使い方 # Jestが提供するモック機能の最も基本的なものです。関数や関数式をモックにします。 使い方は簡単です...
記事を読む豆蔵デベロッパーサイト 2022年4-6月のサマリー
2022年度第1四半期のまとめです。昨年12月にローンチして、半年以上経過しました。 執筆活動 # 記事数・執筆者数 # 5月に記事数が100に到達しました。6月末時点で145記事が公開されています。記事の長さや執筆にかける労力というのはそれぞれなので、数だけに注目するのはよくないですが、一つの指標である更新頻度としては、かなりのペースであることは言えると思います...
記事を読む第5回 Open Policy Agent とサイドカーパターンによる認可の実装
庄司です。 前回の記事で、「挨拶の音声を生成する」コマンド (以降 Hello コマンドまたは Hello サービスといいます) を完成させました。 この記事では、このコマンドの実行権限チェックに Open Policy Agent (OPA) を使って説明します。 図のようにサービスは、3つのコンテナイメージで構成された、docker-compose または Pod です...
記事を読む豆蔵社員のリモートワーク環境ご紹介 その２ 職人のような同僚たちに影響されまくり
はじめに # iPhoneの新型が出たら毎年買うような事業部長がバリバリにチューニングしたリモートワーク環境をしょっぱなに紹介してから他の社員にもお鉢を回すという無茶ぶりから始まった企画です。↓このように…。 社員それぞれが自宅での勤務環境を整えるようになりました。このシリーズでは、そんな社員のこだわりの勤務環境をご紹介していきます...
記事を読むRを4.2系にバージョンアップしたらRstanの導入でつまずいた話
今回はRにRstan(Rで利用可能なStan)を導入しようとしてつまずいた時の備忘録です。(OSはWindowsです) Rのバージョンを”うっかり”4.2系にバージョンアップしたために、Rstanの導入に苦労しました。 R4.2系のままRstanを導入する際の助けになればと思います。 （Rの操作はRStudioから行います） StanとRstan # 「Stan」は統計的推論のためのプラットフォームです。 ベイズ統計モデルの解析などに利用されます...
記事を読む豆蔵社員のリモートワーク環境ご紹介 その１ ビジネスソリューション事業部長編
はじめに # 最近は、新型コロナウイルスが少しずつ収束しつつあるようなムードになっていますが、リモートワークの形態で勤務をされている方はまだまだ多いかと思います。弊社（株式会社豆蔵）では、社員の健康を第一に考え 2020 年 3 月頃からリモートワークを原則としました。そして、リモートワークでの働き方ができるように社内環境を整備しつつ、並行してクライアントともリモートワーク実現に向けた話し合いをしてきました...
記事を読むJest再入門 - スナップショットテスト編
スナップショットテストはJestオリジナルの機能です。 公式ドキュメントによると以下の説明があります...
記事を読むGitHub における PR レビュープロセス - conversation の活用
GitHub の PR(Pull Request) レビューのプロセスは、開発チームによってバリエーションはあると思いますが、おおよそ次のようになると思います...
記事を読むベイズ推定を学ぶ ～２項推定～
さまざまな分野でベイズ統計が活用されています。 筆者はこれまで古典的統計(伝統的な頻度論的統計)をメインで使ってきましたが、最近になってベイズ統計の面白さに惹かれています。 人間の思考に素直に従っているところがベイズ統計の魅力ではないかと考えています。 古典的統計では、本来証明したい仮説を”対立仮説”に置き、対立仮説の「当て馬」として”帰無仮説”を設定します...
記事を読むMinikube に QEMU ドライバーサポートが追加 - M1 Mac で利用可能になったけど...
M1 Mac で Minikube を使う場合、Hyperkit のドライバーが未サポートなので、Docker Desktop を導入して Driver に Docker を指定するか、有料の Parallels の仮想マシンを指定する必要がありました。Hyperkit のサポートについては、issue が登録されています...
記事を読むJest再入門 - マッチャー編
Jestはオールインワンのテストフレームワークです。 テストランナーだけでなく、各種マッチャーもJest内でExpect APIとして提供されています。 利用方法はJasmineとほとんど同じで、こちらの利用経験があれば戸惑うことはないはずです。 ここでは、よく利用するものについて筆者の独断でピックアップして、カテゴリ別にまとめます。 全てのマッチャーは以下公式ドキュメントを参照してください...
記事を読むJest再入門 - 導入編
JestはMeta(旧Facebook)社によって開発されたJavaScript向けのテストフレームワークです[1]。 Jestは、テストランナーからマッチャー、カバレッジ等のテストに必要な一連の機能が備わっています。また、それらのセットアップが非常に簡単であることから、現在のJavaScriptで最も多く利用されているテストフレームワークです...
記事を読む第4回 ドメイン層の実装とサービスの完成
庄司です。 シリーズ4回目は Spring Integration を使うドメインイベントの発行 (publish) について説明します。 ドメイン駆動設計 (DDD - Domain-driven design) # 説明の前に「Spring Boot と Apache Camel の統合」の議論を受けて冬眠カプセルを冬眠ポッド (hibernation pod) へ、船員を旅行者 (passenger) へとユビキタス言語の変更等イベントストーミングの修正がありました...
記事を読むベイズ統計をお手軽に、統計解析ツールJASPの紹介
近年ベイズ統計学が注目されています。 ネットでも書店でもベイズ統計学やベイズの定理、ベイズ推定に関する情報が増えたと感じています。 ベイズ統計学を「体験してみたい」「ちょっと使いたい」と思った時に統計解析に強いプログラミング言語Rを使ってコードをガリガリと書いていくのは入門者にはかなり敷居が高いと思います。 これからどっぷりとR言語に入り浸ってR言語を極めて行こうという志があれば話は別ですが、統計解析に興味があるからといってプログラミングをしたいわけでは無いケースも多いでしょう...
記事を読むOpenID Connect でパスワードレス認証を使う
庄司です。 「WebAuthn でパスワードの無い世界へ」に続く「Envoy Proxy による HTTPS Proxy」の記事でプライベートネット内にパスワードレス認証ができる環境構築の方法を説明しました。この記事では、OpenID Connect の Code Flow を使ってパスワードレス認証を説明します。 サービスの概要 # 題材は宇宙船の冬眠ポッド (hibernation pod) です...
記事を読む統計学で避けて通れない自由度の話
”自由度”…統計学を勉強したことがある人なら、誰でも一度は耳にしたことのある言葉でしょう。 ”自由度”を教科書通りに説明すると「自由に決めることができる値の個数」ですが、何度聞いても何度考えてもピンときません。 統計学を勉強していて”自由度”で躓いた人も多いのではないでしょうか。 今回はそんな”自由度”についてお話したいと思います。 平均とは # あるデータの母集団があり、そこからサンプルとしてa, b, cの３つのデータを抽出したとしましょう...
記事を読む
