CI/CD Conference 2021 で Zelkova の論文について話してきました - チェシャ猫の消滅定理
こんにちは、チェシャ猫です。 先日開催された CI/CD Conference 2021 で、AWS の IAM Access Anazlyer のバックエンドとして使用されている検査エンジン Zelkova、およびその元となった論文について発表してきました。公募 CFP 枠です。 発表の大筋は、少し前に July Tech Festa 2021 で登壇した際のものと共通です。関連リンク集などは以下の記事にまとめてあるので、よかったらこちらも合わせてお読みください。 ccvanishing.hateblo.jp 内容面では、前回の発表時間 20 分に対して今回は 40 分の枠をもらっていたので、 Level 1-3 として定式化した「検査水準」とツールの対応を明確にすること Zelkova による IAM Policy の SMT エンコードについてより具体的に述べること の 2 点を中心
インシデントリリースの生存率 - Fox on Security
専門分野という事もあり、カード情報漏洩事件をウォッチして数年経ちますが、ずっと気になっていた事があります。公式リリースがそこそこの頻度で「消える」事です。 お気づきの方も多いかと思いますが、当ブログのカード情報漏洩系の分析記事では、なるべく企業等のカード情報漏洩発表リリースの魚拓を取る様にしています。 こうした魚拓を取る手法は、カード情報漏洩事件をほぼ拾われている、ScanNetSecurityさんが長年実施してきている事なのですが、企業がリリースを出しているのに、何故魚拓を取るのだろうと当初不思議に思っていたのですが、自分でインシデントを調べ始めて分かったのですが、意外にリンク切れが発生します。 ※ScanNetSecurity参考記事（※赤枠部分が魚拓になっています） 先日、2021年の国内カード情報漏洩インシデントの調査データを集計していたのですが、（当方が把握している限りですが）7
SteamとEpic Gamesストア、2社の講演で見えてきたスタンスの違い。GDC講演をリポート【GDC 2019】 | ゲーム・エンタメ最新情報のファミ通.com
サンフランシスコで開催中のゲーム開発者向けの国際カンファレンス“GDC”（ゲーム・デベロッパーズ・カンファレンス）。その4日目となる現地3月21日、PCゲーム配信ストアを運営するエピック・ゲームズとValveの講演が相次いで行われた。この記事では両社の発表内容を通じて、そのスタンスの違いを探っていく。 先攻：エピック・ゲームズ 昨年末に、Valveが運営するストア“Steam”の利益分配率“70対30”に対して“88対12”（※）を提示してPCゲームストア“Epic Gamesストア”をオープンさせたエピック・ゲームズ。（※ストア側の取り分がそれぞれ30％/12%） ストアのオープン後は独占タイトル獲得による攻勢を続けており、前日の基調講演ではQuantic Dreamの『Detroit: Become Human』PC版をはじめとする強力なラインナップを追加発表し、話題を呼んだ。 講演の
Google Cloud FunctionsがGo言語のサポートを発表。イベントをトリガーとするだけでなく、HTTPリクエストもトリガーとして対応
Google Cloud Platformにおけるサーバレスコンピューティング環境を提供するGoogle Cloud Functionsで、Go言語のサポートが発表されました。 Google Cloud Functionsは2016年2月に発表され、2018年8月に正式版となりました。 これまでNode.js/JavaScriptとPythonをサポートしてきており、Go言語は3つ目のサポート言語となります。 対応するGo言語のバージョンは1.11。モジュール機能などを備えています。 参考：Go 1.11がリリース。WebAssembly対応を実装、モジュール機能も追加 Go言語で記述されたファンクションには、HTTP functionsとBackground functionsの2種類があります。 HTTP functionsはHTTPリクエストをトリガーとしてファンクションを起動するこ
HIW 2018・Haskell Symposium 2018に行ってきた | IIJ Engineers Blog
日本Haskellユーザーグループ（愛称 Haskell-jp）発起人の一人にして、Haskell-jpで一番のおしゃべり。 HaskellとWebAssemblyとプリキュアとポムポムプリンをこよなく愛する。 HIW 2018・Haskell Symposium 2018 とは HIW 2018 (Haskell Implementors’ Workshop 2018)とHaskell Symposium 2018は、ICFP (International Conference on Functional Programming)という関数型プログラミングについての国際会議に併設された、Haskell専門のワークショップと国際会議です。 Haskell Symposiumは投稿されたHaskell全般についての論文の発表会です。 一方HIWは、名前通りのHaskellの実装（主にGHC）
JuliaTokyo #1 を開催しました - りんごがでている
日本で(多分)最初のJuliaの勉強会 JuliaTokyo #1 を開催しました。イベントページはこちらです。 http://juliatokyo.connpass.com/event/6891/ 当日は40人ほどの参加者が集まり、いつの間にJuliaがそんなに一般化したんだという感じでしたが、Julia歴1週間とか当日の朝から始めましたというように、何処からかJuliaが熱いらしいとの噂を聞きつけてJuliaを使ってみようという新しいもの好きの人たちが多い印象でした。 私はパッケージの作り方についてお話をしてきた次第です。 以下は、それぞれの発表と私のひとこと感想です。 メインセッション Juliaのこれまでとこれから - @sorami Juliaの背景的な情報やどんなエコシステムになっているかを紹介していました。 JuliaはPythonやRからユーザを取り込みつつ、共に進化してい
進捗報告傾向と対策 - 発声練習
レベル-1：無断で休む 傾向：たぶん、留年します。 対策：まずは理由は嘘でもよいので欠席の連絡をいれましょう レベル0：仮病で休む 傾向：たぶん、留年します 対策：参加しましょう。筆記用具をお忘れなく レベル1：資料無しで発表 傾向：たぶん、留年します 対策：手書きのメモでもよいので発表すべきことを列挙して進捗報告に望みましょう レベル2：メモあり 傾向：卒業できるかもしれません。卒論生4月という段階です 対策：プレゼンテーションソフト or ハンドアウト（配布資料）を用意して、「プレゼンテーション」をしましょう レベル3：発表資料 or 配布資料あり 傾向：研究始まりました。卒論生5月という段階です。 対策：資料の作成を通して、前回の発表から今回の発表まで何を行ったのかを振り返りましょう 以降、発表資料 or 配布資料は標準で用意できているとする。 レベル4：「〜しました。」 傾向：自分
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Qiita 2-day Hackathon で発表されたプロダクト全41作品総レビュー！ - Qiita Blog