Alloy 6 の新機能 Mutable Field と線形時相論理

2021/12/09 8 users Alloy 新機能 一種 検査 タイプ

こんにちは、チェシャ猫です。 Alloy は関係論理を用いた形式手法ツールの一種です。本記事では、2021 年 11 月にリリースされた Alloy 6 の新機能、Mutable Field を用いた検査について解説します。この機能を使用することで、時間発展するタイプのシステムをよりシンプルに記述できるようになりました。 なお、本記事... 続きを読む

君のセキュリティはデプロイするまでもなく間違っている #CICD2021 / CICD Conference 2021 - Speaker Deck

2021/09/03 6 users Speaker Deck セキュリティ y_taka 3rd

Transcript 君のセキュリティは デプロイするまでもなく 間違っている。 #CICD2021 #CICD2021_B チェシャ猫 (@y_taka_23) CI/CD Conference 2021 (3rd Sep. 2021) この設定、デプロイして大丈夫…？ Semantic-based Automated Reasoning for AWS Access Policies using SMT J. Backes et al. (2018) https://d1.awsstatic... 続きを読む

Infrastructure as Code の静的テスト戦略 #DevOpsDaysTokyo / DevOpsDays Tokyo 2021 - Speaker Deck

2021/04/16 134 users Transcript Speaker Deck テスト戦略

Transcript #DevOpsDaysTokyo #DevOpsDaysTokyo Infrastructure as Code の 静的テスト戦略 チェシャ猫 (@y_taka_23) DevOpsDays Tokyo 2021 (16th Apr. 2021) #DevOpsDaysTokyo #DevOpsDaysTokyo 「Infrastructure as Code 辛い」 #DevOpsDaysTokyo #DevOpsDaysTokyo 「デプロイしてみたら上手く動かない」 #DevOpsDays... 続きを読む

Kubernetes: kube-scheduler をソースコードレベルで理解する - チェシャ猫の消滅定理

2020/12/02 102 users Kubernetes node POD スケジューリング 責務

はじめに Kubernetes において、Pod を配置するための Node を決定する手続きをスケジューリングと呼び、デフォルトのクラスタでは kube-scheduler がその責務を担っています。本記事ではこの kube-scheduler のソースコードを時系列に沿って追いつつ、どのようなロジックで Pod を配置する Node が決定されるのかを解説... 続きを読む

状態機械を合成してデッドロックを検出できる Go 言語パッケージを作ってみました - チェシャ猫の消滅定理

2019/11/30 32 users デッドロック 消滅定理 言語パッケージ

はじめに マルチスレッドで動作するプログラムの設計は難しい問題です。個々のスレッドの動作は単純に見えても、複数が並行して動作する場合の動作は組み合わせ論的に複雑になります。また、タイミングに依存する不具合は狙って再現することが難しく、通常の単体テストによる検出にも限界があります。 そんなとき、有効... 続きを読む

猫でもわかる Vertical Pod Autoscaler - チェシャ猫の消滅定理

2018/10/02 21 users 消滅定理 リソース CPU メモリ コンポーネント群

先日行われた Kubernetes Meetup Tokyo #13 で、Vertical Pod Autoscaler (VPA) について発表してきました。 VPA は、各コンテナの Resource Request の値を自動的に調整してくれるコンポーネント群です。必要とするリソース（CPU、メモリ）量があらかじめ推測しにくいアプリケーションに対して、実績に基づいてそれらし... 続きを読む

JJUG CCC 2017 Spring で Haskell on JVM について話してきました - チェシャ猫の消滅定理

2017/05/21 26 users spring 消滅定理 JJUG CCC Haskell

2017 - 05 - 21 JJUG CCC 2017 Spring で Haskell on JVM について話してきました 先日行われた JJUG CCC 2017 Spring で、 JVM 上で動作する Haskell について発表してきました。 思ったほど怖くない！ Haskell on JVM 超入門 #jjug_ccc #ccc_l8 from y_taka_23 www.slid... 続きを読む

重力レンズで笑う宇宙の猫　一般相対論100年　NASAが写真公開 - ITmedia ニュース

2015/11/24 51 users NASA アインシュタイン 重力レンズ 銀河 ニックネーム

アインシュタインによる一般相対性理論の発表から今月でちょうど100年を迎える。米航空宇宙局（NASA）はこのほど、一般相対論が示した「重力レンズ」効果がよく分かる宇宙の「チェシャ猫」の写真を公開した。 チェシャ猫は、不思議の国のアリスに登場する猫。写真はおおぐま座の方向に46億光年離れたところにある銀河団で、2つの銀河とアーチ状の光が笑う猫のように見えることからこのニックネームが付いた。NASAは... 続きを読む

「不思議の国のアリス」の世界を路線図にすると意外に複雑だった！ : ギズモード・ジャパン

2012/06/28 76 users ギズモード アリス 路線図 ジャパン 児童文学

画像 「不思議の国のアリス」の世界を路線図にすると意外に複雑だった！ 2012.06.28 21:00 世界中で読み継がれている児童文学「不思議の国のアリス」。その世界を地下鉄の路線図にするとこうなるというビジュアルが公開されています。 「不思議の国のアリス」はご存じルイス・キャロルの大傑作。白ウサギを追いかけて不思議な世界に迷い込んだアリスの大冒険を描いたファンタジー小説です。チェシャ猫や三月う... 続きを読む