本書では、Arm64 CPUアーキテクチャを前提としたハイパーバイザの仕組みをできるだけ分かりやすく解説し、実際にラズベリーパイ4やQEMUで動作するハイパーバイザ（Type1）を自作する方法を解説しています。 ⬛︎ 注意 本書はまだ作成中（現在4章を作成中）ですが、モチベーション維持のために公開している状態です（章立てなど今後変わる可能性ありです）。 内容は随時更新していますので、気になる方はウォッチやコメント等をお願いします。 ⬛︎ 学べること ・ハイパーバイザとその仕組みと原理 ・Arm64 (aarch64) アーキテクチャの仮想化支援機構の仕組み ・自作ハイパーバイザの作り方 ⬛︎ ソースコード https://github.com/HidenoriMatsubayashi/evisor ⬛︎ 価格 本書は無料にしていますが、役に立った！という方は「バッジを贈って応援」や「いいね

https://forkwell.connpass.com/event/325649/ の登壇資料です。 書籍は https://amzn.to/3z8TLUM から

2024年度リクルート エンジニアコース新人研修の講義資料です

2024年8月、日経文庫は創刊70周年を迎えました。その長い歴史の中で、日経文庫は数々のロングセラーや専門分野の名著を生み出しています。そこで、日経文庫の平井修一編集長に、さまざまなテーマでおすすめの日経文庫を解説してもらいました。今回は、20年、60年…と何十年も売れ続けているロングセラー11冊について。聞き手は、日経BOOKプラス編集・副編集長の小谷雅俊。 日経BOOKプラス編集・副編集長・小谷雅俊（以下、小谷）　今年、日経文庫は創刊70周年を迎えます。70年前というと1954年。日本史年表を見ると吉田茂内閣最後の年で、ゴジラ映画の第1作が公開された年です。これから高度成長期が始まるという時期ですね。改めて、その長い歴史を感じます。 平井修一編集長（以下、平井）　本当ですね。最初に出たのは『手形の常識』という本でした。実務的な内容の本が多いという傾向は、現代にも引き継がれていますね。こ

概要 「インターネットの中身」についてどれぐらい知っているでしょうか？ インターネットを普段から当たり前のように使ってる人は多いですが、その裏側の仕組みについて知っている人は、決して多くはありません。(IT業界で働く人であっても、インターネットを構成する深い部分まで理解している人はごく一部だったりします。) 本講演では、業界歴13年の現役ネットワークエンジニアであり、YouTubeにて5年に渡って情報発信してきた発表者が、ネットワーク業界関係者しか知らない「インターネットの裏側の仕組み」について、ディープに、かつ初心者にもわかりやすい言葉遣いで噛み砕いて解説させていただきます。 インターネットの仕組みやネットワークインフラの存在を知ることで、みなさんが普段お使いのサービスの裏側が理解できるようになるのはもちろんのこと、みなさんの業務においても、的を射たビジネス企画やサービス提案が実現できる

状態方程式表現されたシステムの安定性 この記事では状態方程式表現されたシステムの安定性についてまとめます。安定性に関する動画は最下部に置いています。なお、状態方程式に基づく制御・状態フィードバック制御の全体像は次の記事でまとめています。 状態フィードバック制御・状態方程式に基づく制御のまとめ 状態方程式表現されたシステムの安定性 制御対象の極と安定性 制御対象の次数が1の場合 リアプノフの安定判別法 線形システムに対するリアプノフ方程式 MATLABライブスクリプトファイル 安定性に関する動画 関連記事 自己紹介 制御対象の極と安定性 ここでは、制御系の安定性について説明したいと思います。まずは、以下のシステムが与えられているものとします。 \begin{equation} \dot x(t) = Ax(t) + Bu(t) \\ y(t) = Cx(t) \end{equation} 各

公開してみる スカ好き増えろ あとおススメ教えてください 1, 東京スカパラダイスオーケストラ/ ルパン三世’78 2, 東京スカパラダイスオーケストラ/ DOWN BEAT STOMP 3, 東京スカパラダイスオーケストラ/ 燃えよドラゴン 4, 東京スカパラダイスオーケストラ/ Come On！ 5, 東京スカパラダイスオーケストラ/ スキャラバン（CARAVAN） 6, 東京スカパラダイスオーケストラ/ 太陽にお願い 7, 東京スカパラダイスオーケストラ/ 勇者の証～Brave Eagle Of Apache～ 8, 東京スカパラダイスオーケストラ/ フィルムメイカーズ・ブリード～頂上決戦～ 9, 東京スカパラダイスオーケストラ/ 5 days of TEQUILA 10, 東京スカパラダイスオーケストラ/ MONSTER ROCK 11, 東京スカパラダイスオーケストラ/ Glor

ゴールデンウィークのはじめ（4月29日）に投稿された以下のツイートですが、5月7日20時において、1,938.8万件の表示ということで、非常に注目されていることが分かります。 我が名はアシタカ！スタバのFreeWi-Fiを使いながら会社の機密情報を扱う仕事をしてたら全部抜かれた。どうすればよい！ pic.twitter.com/e26L1Bj32Z — スタバでMacを開くエンジニア (@MacopeninSUTABA) April 29, 2023 これに対して、私は以下のようにツイートしましたが、 これ入社試験の問題にしようかな。『スタバのFreeWi-Fiを使いながら会社の機密情報を扱う仕事をしてたら全部抜かれた』と言う事象に至る現実的にありえる脅威を説明せよ。結構難しいと思いますよ。 https://t.co/LH21zphCTV — 徳丸 浩 (@ockeghem) April

はじめに こんにちは。 バックエンドエンジニアの松本です。今回は、会計システムの開発を通じて、 CADDi におけるプロダクト開発の様子を紹介します。 2024年3月現在、CADDiでは2つのサービスを提供しています。1つは図面データ活用クラウド「CADDi Drawer」で、もう1つは加工品製造サービス「CADDi Manufacturing」です。 今回、後者の加工品製造サービス「CADDi Manufacturing」向けに、 会計システムを構築しました。これは、生産管理システムや拠点管理システムから取得した各種情報を基にして、会計仕訳データを生成し、経理部門に公開する役割を持ちます。 はじめに 会計システムのアーキテクチャとその狙い 計算処理を少しずつ進める 会計数値の妥当性をダッシュボードに表示する 会計システムのモデリングと最初の開発 仕訳の流れを整理して、ドメインモデル、デー

スクラムフェス福岡2024での講演資料です。 --- 皆さん、職場でFour Keysを導入していますか？ Yesと答えた皆さん、『LeanとDevOpsの科学』は読みましたか？ あくまで僕の周囲のみの観測で語るのですが、Four Keysを職場で導入しているという人はとても多いので…

このブログエントリでは、テスト駆動開発（TDD: Test-Driven Development）の考案者Kent BeckがTDDの定義を改めて明確化した文章を、許可を得たうえで翻訳し、訳者の考察を沿えています。 きっかけ 2023年の年末、テスト駆動開発（TDD: Test-Driven Development）の考案者Kent Beckは、substackにTDDに関するポストを連投して論戦を繰り広げていました。TDDはその誕生から20年以上が経ち、その間に「意味の希薄化」が発生して議論が噛み合わなくなっていました。意味の希薄化（Semantic Diffusion）とは、新しく作り出された用語が広まる際に本来の意味や定義が弱まって伝わる現象です。 私（和田）はTDDと関わりの深いキャリアを歩んできました。Kent Beckの著書『テスト駆動開発』の翻訳者であることもあり、TDDの正

本来は親友に向けたマンションリフォームのアドバイスだが、LINEで送るには長すぎるので、増田の日記として公にさらしてみる。ブコメやトラバで有用な反論が得られるかもしれない。 祝1000user超え。いろんな意見が聞けて楽しい。おそうじ浴槽がみんなに届いてうれしい。 祝2000user超え。自分の知識がみんなの役に立ったようでうれしい。はてブ愛してる。 増田は建築士としてそれなりに経験値はあるが、住まいのあり方や価値観は本当に多様なので、N=1の意見として参照するぐらいがちょうどよい。 大前提適切な断熱壁と二重ガラス樹脂サッシが装備されていること。それがない建築が許されるのは安藤忠雄だけ。 既存のサッシが交換できないならインプラスなどの内窓をいれればよし。 風呂編おそうじ浴槽！これが言いたくてこの長い日記を書いているといっても過言ではない。 google:image:おそうじ浴槽 他の設備投

2024/01/15(月) 12:00 〜 13:00 t-wadaさんが後世に残したい、実録レガシーコード改善 https://findy.connpass.com/event/304101/ テストコードが無いコードを引き継いだところからはじまる、実際に2018年に行った受託開発案件のエピソードとコードをプロダクトオーナー（引き継ぎ前のコードを書いた本人）の許可を得て使用しています。登場するコードは全て本物、登場するデータは講演用の架空のものです。

(サムネはエアコンが水漏れしていた部分の反対側の画像です。濡れたタオルを伝って水が漏れてしまい、仕切り戸の横に積んでいた新聞紙がくっついてしまいました) 去年の夏に賃貸を退去した際、多額の修繕費を請求されたのでその時の対応について記事を書きました。これから年度末も近づき引越をする人も多くなるかと思いますので類似のトラブルに見舞われた際に適切に対応するための一助になれば幸いです。動画は当時の水漏れの様子です。https://t.co/B12vXfxfMa pic.twitter.com/byb4RDF6ud — なもなき (@Nam0naki_) January 7, 2024 こんにちは。なもなきです。 去年、仕事の都合で引っ越しをしたのですが、そのときの退去費用(敷金精算)に関して管理会社と一ヶ月近く揉めることになりました。 結果的に敷金が一部戻ってくるという形になりましたので、他に似た

令和6年、元旦から能登半島地震が起きたり。 韓国の野党党首が襲われたり。 JAL機と海保機の衝突、乗務員達の冷静な判断と対応で何とかJAL機の方は死者無しだったけど、海保機の乗務員達に死者が出てしまったり。 🇺🇸🇯🇵 | 乗客全員の脱出「奇跡」　航空機衝突で米英メディア 日本のメディアと違って外国のメディアは独立している分、自分たちの意見で物事が言える この映像は海保機と衝突したJAL便の中のCAさんが事態を対応している時だ 素晴らしい#ありがとうJAL #JALは日本の誇りpic.twitter.com/EGmmR0rp0g — L.S.H (@LSH__Official) 2024年1月3日 酷いニュースばかりだ。 地獄だ、地獄。 被災した人に比べれば俺はマシな地獄だから、あまり泣き言は言ってられないけど、弱者男性の俺の人生も「生ぬるい地獄」ではある。 ただ、そんな俺の人生を少

仏紙「ル・モンド」は2023年5月、米スタンフォード大学の数学教授である時枝をこう評した。 「数学者は2つのグループに分けられがちだ。黒板にチョークで数式を書く理論派とプラスチックのシートにフェルトペンで書き込む応用数学者──しかし、日本の時枝正は第三のカテゴリーに属している」 ル・モンドは、パリのアンリ・ポアンカレ研究所での時枝の講義に注目する。彼は数学や物理学における古典的な内容を取り扱う際に、チョークではなく大きなコインを用意し、それで理論を視覚的に伝えているのだ。 時枝が注目される理由は、「わかりやすく数学を広める」という彼の特殊能力にある。シンプルな道具を使い、深淵な数学理論を親しみやすく解説するその手法は「手品のよう」とも形容される。 時枝の経歴もまた非常にユニークだ。もともと彼は画家としての将来を嘱望されるほど絵画に長けていた。日本を離れ、フランスに発ったのは14歳のころ。「

士郎正宗の凄さは語り尽くされているが、多く語られているのは「それまでになかったリアリティ」に集約されるだろう。インターネット普及以前に電脳世界を描いたこと。特殊部隊を軸とした銃器・戦術の世界。政治や文化も含めた未来世界を創出し、その世界のプロフェッショナルたちの共通言語であろう言い回しで交わされる、会話の質感。 長年の士郎正宗ファンとして分類するなら、私自身はある種の「士郎正宗原理主義者」といえるだろう。原作漫画を愛し、映像化作品を見るたび「これは士郎正宗じゃない」「そうじゃないんだ」と思い続けてきた面倒くさい客だ。ただ問題は、どこに問題があるのかをずっと言語化できなかったことだ。 士郎正宗が世界に広がっていったのは、押井守の映画「GHOST IN THE SHELL 攻殻機動隊（1995年）」だろう。士郎正宗とは別に押井守ファンであった自分は「押井守作品」として楽しんだが、けれど「これは