当社利用のドメイン登録サービスにおける不正アクセスについて（第一報） | コインチェック株式会社

2020/06/02 22 users コインチェック株式会社 不正アクセス ドメイン登録サービス

このたび、コインチェック株式会社（本社：東京都渋谷区、代表取締役：蓮尾 聡）が利用しているドメイン登録サービス「お名前.com（GMOインターネット株式会社）」内の当社アカウントにおいて、不正アクセスが確認されました。本事象により、不正アクセスを行なった第三者（以下、第三者）が2020年5月31日～6月1日の期間... 続きを読む

計算機科学と代数学 プログラム意味論と普遍代数学 蓮尾 一郎 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 2014.1 1 計算機科学とは？ 意味論とは？ 代数学のさまざまな応用に

2015/07/08 29 users 本稿 数学 コンピュータ科学専攻 応用 一郎

計算機科学と代数学 プログラム意味論と普遍代数学 蓮尾 一郎 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 2014.1 1 計算機科学とは？ 意味論とは？ 代数学のさまざまな応用についての本特集において，本稿は計算機科学—— そのうちとくに意味論——とよばれる分野に現れる代数学的構造と，その応 用について紹介したい．多くの読者のもともとの興味は数学や，多少外れた としても物理学など... 続きを読む