はてなブックマーク

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 最近、TwitterやGitHubなどと連携できる公開鍵基盤**Keybaseに招待していただいたので、このKeybaseがどのようなサービスであるのかを、前提となる公開鍵暗号や公開鍵基盤**などから順を追いつつ軽く紹介していきたいと思います。 共通鍵暗号と公開鍵暗号 暗号にはおおまかに二種類があり、共通鍵暗号（対称鍵暗号）と公開鍵暗号です。これらの特徴を次のようになっています。 共通鍵暗号 共通鍵暗号はDESやAESが有名で、次のような特徴を持ちます。 同じ鍵（秘密鍵）を使って暗号化と復号化1を行う 後述する公開鍵暗号に比べ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 新しい手法を開発しました。 僕が（ほとんどを考えた）公平なガチャシステム はじめに ソーシャルゲームのガチャは、あらかじめ運営からSSRなどのレアリティに基づいた出現確率が公表されているが、それはあくまで運営が公表した値でしかなく、本当にその通りなのか疑う余地があった。そこでこの記事では前回の記事で紹介したハッシュの衝突に基いて、ユーザーにとっても運営にとってもガチャによるカードの出現確率が明らかな方法を提案する。何か質問や意見などがあれば、気軽にコメントして欲しい。 プロトコル この計算量を利用した方法はどこかのCTFで出題されたと友

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

前回の記事では、ReaderモナドやFreeモナドを使ってDependency Injectionを行うための小さなDSLを組み立てた。今回の記事では、まず前回組み立てたDSLの課題であるExpression Problemと、それを解決するための機能Injectと、さらにはTagless Finalを用いたDSLについて述べる。 この記事は前回の記事の知識を前提としているので、分からない言葉などがある場合はまず前回の記事を参照して欲しい。また、文章について不明なことや意図が分かりにくい部分があれば気軽に指摘して欲しい。 注意： 記事の中にあるコードは読みやすさのためにimportなどを省略しているので、このままでは動かない。動かしたい方はGithubのリポジトリを使うとよい。 Expression Problem Expression Problemとは、こちらのサイトを引用すると次のよ

Dead-Simple Dependency Injection in Scalaという発表で、Dependency Injection（依存の注入）をReaderモナドなどを用いて行うという技術があった。下記がその発表である。 この記事ではまず、Dependency Injectionについての説明と、Readerモナドについての説明を行い、次にReaderモナドを使ったDependency Injectionについて述べて、Freeモナドを用いて小さなDSLを作るアプローチを紹介する。 この記事はモナドやDependency Injectionなどに関する前提知識がなくてもある程度読めるように意図しているが、Scalaの文法的な知識を前提としている。また、もし説明が不足している点や文章の意図が分かりにくい部分があれば、気軽にコメントなどで指摘して欲しい。 注意： 記事の中にあるコードは

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 前回の記事で高校生判定プロトコルと現金支払いプロトコルについて述べましたが、新しいプロトコルを考案したので公開します。これを読んで、何か分からないことや改良する方法を考えついた方はコメントなどで知らせていただけると幸いです。 個人情報認証プロトコル 登場人物 ここには次のような登場人物がいると仮定します。 JK 自分の年齢や性別などを公開したいが、自分の意図しない情報は公開したくない おっさん ある人間について、年齢や性別といった特定の個人情報を確定させたい 高校生判定プロトコルで書いたように、例えばJKが健康保険証などを用いてしまうと

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

前回の記事で、正規表現（の抽象構文木）からLLVMの中間表現（LLVM IR）1へコンパイルするという試みを行ったところ、Twitterで次のような投稿をいただいた2。 @_yyu_ https://t.co/UPV535fqbB とかを使うと、Mokkosuから動的コード生成ができてきっと楽しいです。 — ラムダ太郎 (@lambdataro) 2015, 5月 11 つまり、プログラムの実行時に正規表現に対応するバイトコードを生成して、それを実行すれば速度が早くなったりするかもしれないということである。これは一般的にJust in Time（JIT）コンパイルと呼ばれているもので、正規表現技術入門という本でも紹介されている。Mokkosuで実装してもよかったが、たぶんMokkosuのプログラマはそれほど多くないだろうということで、今回もScalaを使って実装することにする。 正規表現の

背景 プログラム言語Mokkosuには正規表現のライブラリが存在しない。最近正規表現技術入門という本を読み、正規表現の実装について触れる機会があったので、試しに最小の正規表現エンジンを作ってみることにした。また最近Scalaを勉強中なので、Scalaのコードも併記することにした。 二つの実装 正規表現技術入門によると、正規表現のエンジンは大きく分けて次の二種類に分類される。 DFA型 VM型 DFA型とは、正規表現を等価なDFA（決定性オートマトン）に変換してマッチングを行う手法である。また、VM型は正規表現をバイトコードへ変換し、そのバイトコードを実行するVM（バーチャルマシン）にてマッチングを行う手法である。 正規表現をDFAへ変換してマッチングするプログラムは以前書いたことがあったので、今回はVM型で実装を行うことにした。 正規表現のデータ構造 正規表現を一般的なメタ文字列を含むテキ

正規表現技術入門という本の中に、正規表現のJITコンパイルという技術が紹介されている。VM型の正規表現エンジンは以前作った1ので、これをLLVMへコンパイルすればおもしろいのではないかと考えて、実行することにした。なお、実装にはScalaを用いた。 追記： また、JVMのバイトコードへJITコンパイルする実験も書きました。 正規表現のJITコンパイラを実装する 正規表現の抽象構文木 VMの実装の時に用いたものと同じく、次のデータ構造を用いる。 sealed trait Regex case object Empty extends Regex case class Let(c: Char) extends Regex case class Con(a: Regex, b: Regex) extends Regex case class Alt(a: Regex, b: Regex) ext

マウスポインターは通常、先端にしか当たり判定がないので、多少透過していた方がよいのではないかと考えた。特に僕はポインターを通常より大きくしているので、リンクなどにポインターを乗せると、下の文字が見えなくて困ることがある。 もしポインターが半透明であれば、マウスポインターをこのように巨大なものにしていたとしても下の文字が読めて快適になると考えた。 マウスポインターを半透明にするための全体的な流れは次のようになっている。 Mousecapeで、現在のマウスポインターのデータをダンプする Pythonスクリプトでマウスポインターのデータを読み込み、半透明にする Pythonで処理したデータを読み込む Mousecapeをコンピュータの起動時に有効化するため、Helper Toolをインストールする Mousecapeのバグを補うAppleScriptをスタートアップに登録する 準備 この記事の内

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? JKとおっさんの間で、個人情報を一切漏らすことなく円滑なコミュニケーションが行えるように工夫したプロトコルです。現在は次の二つのプロトコルがありますが、ニーズに合わせてもっと色々考えたいと思っています。 高校生判定プロトコル 登場人物 ここには次のような登場人物がいると仮定します。 JK 自分が高校生であることを証明したいが名前や住所、所属する学校などは保護したい おっさん ある人間について、その人間の性別や年齢といった個人情報はどうでもいいが、高校生であるということは確定させたい このような仮定があるので、例えばJKが、JKの所属する

この記事はTeX & LaTeX Advent Calendar 2013の15日目の記事です。 14日目：mskalaさん 16日目：PowerPC7450さん 処理系とは TeXの処理系とはTeXファイルをぶち込むとDVIなりPDFなりが出てくるプログラムのことです。実際に使ったことがなくても、だいたい次のようなものを聞いたことがあるのではないかと思います。 pTeX XeTeX pdfTeX LuaTeX さて、ここで疑問なのがこれらは一体何が違うのかということですね。何を使うかで迷っている人は、とりあえずこれらの違いだけでも説明出来たらいいなと。 pTeXとその仲間たち + e-TeX e-TeXが入っているのは、こっちの方が説明が分かりやすいと思ったからです。 pTeX pTeX はTeXに日本語向けの様々な機能を追加した処理系です。代表的なものを挙げると、次のようなものが追加さ