OOC 2024 の発表資料です。後のフィードバックを参考に、より妥当な文言に改訂してあります。 ※ 本コンテンツには、一部特定の宗教思想の迫害に言及する表現がございますが、そのような行いを肯定する意図の内容ではございません。
オブジェクト指向宗教史
OOC 2024 の発表資料です。後のフィードバックを参考に、より妥当な文言に改訂してあります。 ※ 本コンテンツには、一部特定の宗教思想の迫害に言及する表現がございますが、そのような行いを肯定する意図の内容ではございません。
ビジネスの構造を扱うアーキテクチャとユーザとの接点を扱うアーキテクチャ #builderscon
Builderscon Tokyo 2019 の発表資料です。
もしもエンジニアリングマネージャーが妻のアメリカ留学に遭遇したら / Scrum Fest Osaka 2021
20210626_Scrum Fest Osaka 2021での高橋の講演資料になります
Binary search with modern processors
第16回 StringBeginners での発表資料
Rust で Web アプリケーションはどこまで開発できるのか
CyberAgent にて行われたカンファレンス「CA BASE NEXT」の登壇資料です。 https://ca-base-next.cyberagent.co.jp/sessions/can-we-build-web-applications-in-rust/
技術的負債とステークホルダと説明責任と / The Debt
Talked at CloudNative Days Spring 2021 Online #CNDO2021. https://event.cloudnativedays.jp/cndo2021/talks/801
Active Recordから考える次世代のRuby on Railsの方向性 / Directions for the next generation of Ruby on Rails: From the viewpoint of its Active Record
January 29, 2021 @ 銀座Rails #29
Kubernetes and Networks - why is this so dang hard?
A brief look at models for integrating Kubernetes clusters into existing networks.
行政をハックし、行政データをオープンにしてみようとした結果
2019年6月29日に開催されたCivic Tech Forum 2019の資料です。
テスト駆動開発から証明駆動開発へ #JTF2019 / July Tech Festa 2019
July Tech Festa 2019 で使用したスライドです。 近年、テストを書く文化は広く普及しており、開発フローにおいて自動テストを組み込むことはもはや常識となりました。しかしよく考えてみると、有限個のテストケースが保証しているのは、所詮「特定の有限個の入力に対する出力」にしか過ぎません。では「あり得る全ての入力」に対してプログラムの性質を保証することは果たして可能でしょうか？ この問いに対する答えのひとつが「定理証明」と呼ばれる手法です。定理証明では、数学的な「証明」をプログラム上でエンコードすることにより、真に「全ての入力」を扱うことができます。本セッションではこの定理証明を取り上げ、従来のテストとの考え方の違いや具体的な適用方法について、サンプルを交えつつ解説します。 イベント概要：https://2019.techfesta.jp/speakers#A10
ゼロから始めるKubernetes Controller / Under the Kubernetes Controller
ゼロから始めるKubernetes Controller / Under the Kubernetes Controller
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
現代的システム開発概論
[0.0, 1.0) の乱数を得るための“本当の”方法
今どきのLinux事情
法務が知っておきたいデータセキュリティの基本
ベテラン技術者が新しい環境で大失敗した話
線形代数というものの見方 / View from Linear Algebra
独りよがりのプラットフォーム / For Whom that Platform Runs
#JJUG Java における乱数生成器とのつき合い方
質とスピード / Quality and Speed
