Meety脆弱性 2022-11
meety_vuln.md Meety脆弱性 2022-11 文責 mala 経緯: Meety退会しようと思ったがアカウントがなかったので、退会するためにアカウントを作ることにした。 免責: 気になった範囲ですぐに見つかったもののうち、悪用可能なものを記載しています。 好ましくないが仕様だろうというものは書いていません。 他の脆弱性が無いことを保証するものではないです。 これはsecret gistです 11/24 時点で未修正の脆弱性情報が含まれています。修正されたらpublicに変更する予定です。 近しい人向けの注意喚起と、開発元への報告を兼ねて書いています。 悪用を教唆したり、悪用しそうな人に情報を共有することは避けてください。 自分の所有していないアカウントの情報を書き換えると法に触れるので、そのような行為は絶対にやめてください。 11/25 Publicにしました 以下 1-4
統一教会問題で注目される「オウム解散命令」の裁判記録が廃棄 学生の調査報告が話題（弁護士ドットコムニュース） - Yahoo!ニュース
神戸連続児童殺傷事件など重要少年事件の記録が廃棄されていたことが問題となる中、オウム真理教の解散命令にまつわる記録も廃棄されていたと学生が11月22日にツイートし、話題となっている。弁護士ドットコムニュース編集部が24日に東京地裁に問い合わせたところ、「廃棄は事実で、2006年3月8日だった」と回答した。 【画像】学生が驚きをつづった実際のツイート ツイートしたのは、大学2年生の「学生傍聴人」さん。小学生の時に父親と見たオウム真理教のドキュメンタリー番組をきっかけに、裁判に興味を持ち法学部に進んだ。ジャーナリストの江川紹子さんの授業を受けるために、別の大学に単位交換で受講するほどだ。 実は、この記録は2019年に朝日新聞などの報道で民事訴訟記録廃棄が問題になった際、憲法判例百選に掲載された民事の事例で廃棄された118件のリストに入っていた。国会でも言及されたが、著名事件ばかりのため、当時は
【80kg突進イノシシを槍で刺す】商業施設や小学校にイノシシ侵入 体当たりされるなど2人けが 神奈川・秦野市（テレビ朝日系（ANN）） - Yahoo!ニュース
神奈川県秦野市の商業施設や小学校に大型のイノシシが現れました。 イノシシは捕獲にあたった市の職員に突進してきたため槍で駆除されました。神奈川県秦野市の商業施設から午前10時すぎ「女性が大型のイノシシとぶつかった」と通報が入りました。 警察などによりますと、その後、商業施設からおよそ400メートル離れた秦野市立末広小学校からも通報があり、イノシシは午前11時すぎに、小学校のグランドで、駆除されました。 実際に、イノシシを駆除した市の担当者によりますと、現場に到着した際、イノシシは小学校のグランドを走り回っていたということです。 小学生らに危害が加わってはいけないため、まずは、感電させて動きを止める「電気止め刺し機」で捕獲を試みましたが失敗。その後、イノシシが担当者に向けて突進してきたため、長さ150センチの柄に刃渡り24センチの刃物を取り付けた「槍」で刺し、駆除したということです。小学生にけ
統一教会問題で注目される「オウム解散命令」の裁判記録が廃棄 学生の調査報告が話題 - 弁護士ドットコムニュース
神戸連続児童殺傷事件など重要少年事件の記録が廃棄されていたことが問題となる中、オウム真理教の解散命令にまつわる記録も廃棄されていたと学生が11月22日にツイートし、話題となっている。弁護士ドットコムニュース編集部が24日に東京地裁に問い合わせたところ、「廃棄は事実で、2006年3月8日だった」と回答した。 ツイートしたのは、大学2年生の「学生傍聴人」さん。小学生の時に父親と見たオウム真理教のドキュメンタリー番組をきっかけに、裁判に興味を持ち法学部に進んだ。ジャーナリストの江川紹子さんの授業を受けるために、別の大学に単位交換で受講するほどだ。 実は、この記録は2019年に朝日新聞などの報道で民事訴訟記録廃棄が問題になった際、憲法判例百選に掲載された民事の事例で廃棄された118件のリストに入っていた。国会でも言及されたが、著名事件ばかりのため、当時はオウムの件について特別、注目が集まったわけで
Haskellの型システム(+拡張)を実装して学ぶ
導入 Mark P. Jones: Typing Haskell in Haskellという論文があります。この論文は、題通りHaskellでHaskellの型チェッカを実装するというものです。詳細な解説がされており非常にわかりやすく、また型システムの体系的な知識が無くても理解できるように構成されています。 しかしながら、この論文にはソースコードを入力にとって型チェックを行うまでに必要な実装の全ては含まれておらず、プログラムを入力に取って動作させるまでにはいくつかの変換や解析が必要です。Titan Type Checkerは、これら不足している機能(+拡張)を実装し、実際にスタンドアロンに動作する型チェッカを実装したものです。本記事では、論文で解説されていない事柄を中心に振り返りたいと思います。 Typing Haskell in Haskellの動作まで 構文解析 (Parser.hs)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
