チェシャ猫
チェシャ猫
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.07.21
部下を迷走させる「まずは自分なりにやってみて」の罠 囲碁に学ぶ、ちょうどいい「難易度」のマネジメント
2026.07.14
面接で「職場を疲弊させる人」を見抜く方法 職場の空気を壊す“絶対に採用してはいけない人
2026.07.27
地頭がいい人と悪い人を分ける決定的な違い 仕事ができる人が無意識に行う“思考のクセ”
2026.07.22
キーエンスのトップ営業は、あえて紙の資料を机に置く 営業と囲碁の「距離感」の共通点
2026.07.16
「論点がずれる」と言われる人が無意識にやっているNG行動 会話のズレをなくす“20文字の問い”
2026.07.15
「でも」「どうせ」職場の空気を重くする人の対処法 「言動が陰気くさい」人がもたらす影響
2026.07.23
営業は「型どおりにやらせよう」とするからうまくいかない 「トライ&ハッピー」で考える、型のうまい使い方
2026.07.17
なぜビジネスリーダーは囲碁を打つのか? 3万人を指導してわかった、3つの共通点
2026.07.24
KPIはなぜ「現場を詰める道具」になってしまうのか KPIマネジメントの専門家が語る、「数値管理」との違い
2026.07.07
「安易に転職する20代」への警鐘 新卒から3年〜5年は焦らなくていい理由
まだ才能だと思ってる? 地頭を3週間で伸ばせる「思考の型」
2026.06.08 - 2026.06.08
『仕事と人生に効く教養としての囲碁入門』『「任せて育つチーム」はどこが違うのか』刊行記念対談~なぜできる営業パーソンは囲碁を打つのか~
2026.06.17 - 2026.06.17
形骸化した目標管理を、現場が自ら考え動く「成長の地図」に変えるKPI 4兄弟とG-POP習慣
2026.07.17 - 2026.07.19
【処方箋】「論点がずれてる」と言われないようにする方法
2026.06.07 - 2026.06.07
【警告】採用してはいけない人「危険社員5つの特徴」〜面接で見抜く方法〜
2026.06.04 - 2026.06.04