チェシャ猫 ProofCafe Software Engineer 普段の業務では、Docker や Kubernetes を中心としたコンテナオーケストレーション技術の検証と基盤設計を担当。それと並行してプライベートでは、関数型プログラミングや数理的手法によるソフトウェア検証について研究していたりいなかったりする。トレードマークは猫耳。
![containerd をソースコードレベルで理解する | CloudNative Days Spring 2021 ONLINE](https://cdn-ak-scissors.b.st-hatena.com/image/square/d20e86534ed4d26bf793e94c53d95e02d730bc91/height=288;version=1;width=512/https%3A%2F%2Fdreamkast-prod-bucket.s3.ap-northeast-1.amazonaws.com%2Favatar%2F418e00711566f30142f0ecacb9410047.png%3FX-Amz-Algorithm%3DAWS4-HMAC-SHA256%26X-Amz-Credential%3DASIAY2XP2REMFAR7BKV2%252F20231001%252Fap-northeast-1%252Fs3%252Faws4_request%26X-Amz-Date%3D20231001T044353Z%26X-Amz-Expires%3D900%26X-Amz-Security-Token%3DIQoJb3JpZ2luX2VjEOn%252F%252F%252F%252F%252F%252F%252F%252F%252F%252FwEaDmFwLW5vcnRoZWFzdC0xIkYwRAIgdmQZy%252Fkh9KfLSepbbpQBgK%252FZmybkgyJxP%252BTzLpmcnp0CIF12lqyObetnC1lSnX4Tlbv6sqdupOIb2ZWDwcd32xi0KtUFCOL%252F%252F%252F%252F%252F%252F%252F%252F%252F%252FwEQAhoMNjA3MTY3MDg4OTIwIgwQuNKy8ZLvyF4v%252BMQqqQUkS3Ii92IE6Gick0d3sQNY%252FBY8q2kjN6vBYZjREsT0XvJYoQQZqkdsCGZO4dn1jms4rYdEn0uhh61ESWH0xn9LcgFPmsOETPfybKEyWLCnBwD9DrKLzSpqonDf8Vg%252FeR79fsGBKybwF7rlsHEhIuVhzM6AJxMalz15RZ575oVbIagVfAfGV20PQIP5Gg8rLaZ%252B4hQLCS4bwEbBZQl%252BtOHF04264SvwHcGXwPvO6vf1pjCt%252FqVeUhWxBCHX4jVToxeRdVReC%252F%252FI9sNycv2mAA2HNqpzecRzwgfL0DNAj525Zdd4AudacvQddRcJQfn2V25z5JfLDpcR7yuO2aP7sUyDARcq0XCb1UZYLI1KNSAVZRvBk6wtDo6xotPnICPghTLN4odinUyXXKMSO4ip8sTnmYLX3ICEApDPG0jNtxykutdnGSU3RGCK1ARs46xspD%252BnaJj5lvLmNT1Xdlh16108UeqQRQAtPJpYoyMN1vWs2WRwtuZ1G8a0iADWc5AyQM7%252FVtaVEcNcycz0XjqOx%252FVXKe9wiSIBTleQ9DJUdWNAOGNonlwTBXLaw25H1DIIvwexojpTFXVXn5E3EKU5Cg9hDnCQpDRzOUX4xqBVHwn7LLnsdWndMqoA0jRAx82awdWoXs3r3XUDU3OciEmEWx5nCeBOVACbc7Xi87tTHGOOsCT9EDTMs1EkxF8g2OyNqhxymNagmhoQDy9BXddaZUWKdzFxjQvbbUF3q%252F9WtYw8Y44LJz3ajFw36OpI%252FcpH9%252BsP3AGI2ORzpbGT9b6EacO%252FLKvfi8NV3rB%252FzcL69mY48t4pAlM8hsDVliEB%252BTv%252FcRk1I%252FiUokIaw%252BzUxkaw40vaZxCQRN35oLlNZ786nEdKudphM2FJwkIRjndG%252B%252F1W2YBRJS8dKbovYJQw8IvjqAY6sgHkzL4jE2YoHWW22WZJvBF6ndcD6En1odgjGgbkWvJFSB11vO6aSOYfo%252FL66mmTgSoDeVxdAxgWFAFtJyYDLGakl3s80%252FnlQQo0jPloarqfRmhSSPg45aWrF8XHVQSFfpiJ0INy%252BJLHMD72NKJH0%252Frahdm6emMIR5gJAeGCjKIS7jWD6RVAXvP4HiLWI%252Foz76yw0Rs4WBMUJillntGC4SiXp1qhp9%252FC7u5cT1GuoNZfqIFQ%26X-Amz-SignedHeaders%3Dhost%26X-Amz-Signature%3D20ada044cc0d287f3cfdda9fb48c673926865fc8e6678f0069ab4db86df62c67)
チェシャ猫 ProofCafe Software Engineer 普段の業務では、Docker や Kubernetes を中心としたコンテナオーケストレーション技術の検証と基盤設計を担当。それと並行してプライベートでは、関数型プログラミングや数理的手法によるソフトウェア検証について研究していたりいなかったりする。トレードマークは猫耳。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く