チェシャ猫
チェシャ猫
2022.02.25
経験・勘ではなくロジックを使ってネットワークをテストする MonoSATによる回答の仕組みと探索の効率化
2022.02.24
事前に問題を検出できる仕組み SATソルバとSMTソルバによる充足可能性判定
2022.02.22
ネットワークのトラブルを全自動で検査 人間の判断を機械化するVPC Reachability Analyzerの機能
2021.10.05
AWSセキュリティは「論理」に訊け! Automated Reasoning の理論と実践
2021.08.20
「何をテストしたいか」から考える戦略とツール あなたのInfrastructure as Codeも予測可能な状態に
2021.08.19
「再現性」「純粋性」「モジュール性」が構成要素 AWS上で予測可能性を担保するための4段階の仕組み
2021.08.18
Infrastructure as Codeのつらみの原因を探れ 恐怖症による負のサイクルを断ち切る“予測可能性”
2026.04.30
「自分軸」ではなく「仕事軸」で働いたほうが圧倒的にラク 仕事で指摘されても傷つかない考え方
2026.04.27
「それGeminiでできるじゃん」で潰される会社の特徴 独自開発が無駄になる分野と残る分野の見極め方
2026.05.01
部下に「参加する意味がない」と思わせる会議の特徴 形骸化を防ぐための7つの改善リスト
2026.04.28
仕事で「自信がない」のは悪いことじゃない 39歳で初就職したドムドムハンバーガー社長が語るキャリア論
2026.04.28
一生かかるような研究もAIが1時間でやれる時代に 人とAIとの分業で進める、これからの成果の出し方
2026.04.27
“ブレない上司”がむしろチームを停滞させてしまう理由 元Googleマネージャー陣が語るマネジメントの本質
2026.04.14
週40時間以上の労働で、子どもを持ちたい意欲が急激に低下 育児や介護を“仕事を奪う敵”にしないための組織改革
2026.03.31
キャリアの転機はどう見極めるのか 「6つの数値指標」で見えてくる方向転換のタイミング
2026.05.02
会議は“みんなで意見を紙に書き出す”と発言しやすい 打合せの生産性を上げるファシリテーションのテクニック
2026.04.24
マネージャーだって部下に「わからない」と言っていい 管理職が“先生役”を降りた組織に起こる変化