自分の研究を自腹で広告した体験談

皆さんは自分の研究成果をどうやって広めていますか？ひとつの研究は実働時間だけでも最低数ヶ月、全出版プロセスを考えると一年単位で取り組むこととなります。そうして手塩にかけて育てた研究が誰にも認知されない、というのはなんとも悲しいことです。 …

2021-03-18

実対称行列が直交行列で対角化できる直感的な証明

English Version 実対称行列の固有値が実数であること、および実対称行列の固有ベクトルで正規直交基底が作れることは様々な領域で非常に重要な役割を果たしています。例えば、主成分分析の導出はこの事実に基づいています。線形代数の教科書であれば必ず証…

2021-02-15

合同な凸図形でn要素ベン図を構成する方法

3 要素のベン図は円で描けるのですが、4 要素のベン図は円で描けないことが知られています。どんな図形を使ってもよければ多要素のベン図を構成するのは容易ですが、合同な凸図形のみで構成することは可能でしょうか？取っ掛かりのなく難しそうな問題ですが…

2018-01-09

まんがタイムきらら系列誌の発売日をSlackに通知する

皆さん、忙しい日々の生活に追われ、まんがタイムきらら系列誌を買い忘れてしまうことはありませんか？まんがタイムきらら系列誌を買い忘れると QOL が大きく低下してしまうので、これだけはなんとしても避けたいものです。そこで、買い忘れないように発売…

2017-12-24

ディープラーニングで櫟井唯ちゃんに喋ってもらう

この記事はゆゆ式 Advent Calendar 2017 - Adventar 24 日目の記事です。はじめに joisino.hatenablog.com 前回、唯の画像を無限に生成することに（部分的に）成功した訳ですが、画像ができたら今度は声が欲しくなってきます。そこで、 [1710.08969] Effi…

2017-11-24

Parikhの定理

この前 Parikh の定理（パリークの定理）を知ってびっくりしたので紹介します。形式言語界隈では常識らしいです。三行で説明して文脈自由言語と正規言語は、単語を記号の度数で同一視（つまり記号の順番を無視する）と、同じクラスになるというものです。…

2017-11-07

櫟井唯ちゃんの画像を無限に生成する話りぴーと

joisino.hatenablog.com ▲昔の記事前回の試みから二年以上経ちましたがまだゆゆ式二期は発表されません。(*1) 二期が発表されないためこの記事のタイトルものんのんびよりさんから拝借することになりました。やはり今話題のディープラーニングでなんとかす…

2017-10-27

Convolutional LSTM

大学の実験で必要になって実装したのでメモしておきます。 Convolutional LSTM の説明名前で完全にネタバレしてる感が否めないですが、Convolutional LSTM とは、LSTM の結合を全結合から畳み込みに変更したものです。例えば画像を RNN に食わすときに、位…

2017-10-17

神絵師がtwitterに上げた神絵を収集する

色んな人がやってそうだけど自分用に作ってみました。リポジトリです。 github.com 使い方リポジトリをクローンして初期設定します神絵師のリストを twitter で作って登録します動かします slack に神絵が流れてきます動作例詳しく動作の流れは以下の…

2017-10-03

ArtClass(IOI2013)をディープラーニングで解く

はじめに IOI 2013 オーストラリア大会に Art Class という問題があります。この問題は、画像データが与えられるのでその画像が様式１（新造形主義の現代芸術）様式２（印象派の風景画）様式３（表現派のアクション・ペインティング) 様式４（カラーフィ…

2017-09-14

符号付き整数を二冪で割る

符号付き整数を 2 冪で割るときに右算術シフトを使ってしまって痛い目にあったことのある皆さんこんにちは。僕はあなたの仲間です。コンピュータで割り算を行うのは一般に重いので、できるだけシフト等の軽い操作で済ませたいですよね。最近のコンパイラは…

2017-09-03

シュトラッセンのアルゴリズムとその導出の仕方

よりも小さい時間計算量で行列積を計算するシュトラッセンのアルゴリズムとその導出方法を紹介します。シュトラッセンのアルゴリズムの行列積を考えます。まずを $$ \begin{pmatrix} A_{11} & A_{12} \\ A_{21} & A_{22} \end{pmatrix} \begin{pmatrix…

2017-08-20

ケイリーの公式の証明6種類

ケイリーの公式の証明たちの紹介です。ケイリーの公式とはケイリーの公式とは頂点のラベル付きの木の総数がであるという公式のことです。ここで、ラベル付きであるとは、それぞれの頂点を区別するということです。たとえばのとき、頂点を区別しない…

2017-08-13

前処理O(n)クエリO(1)のLCAと静的RMQ

時間計算量 <O(n), O(1)> の LCA(Lowest Common Ancestor) と RMQ(Range Minimum Query) を C++ で実装しました。アルゴリズムの解説はDさんのスライド [1] LCA and RMQ ~簡潔もあるよ！~ がとても分かりやすいのでそちらを参照してください。概要だけ説明します。 LCA</o(n),>…

2017-08-06

テヘラン旅行

IOI2017（イラン大会）に副団長として参加してきました。 ioi2017.org IOIの参加記は選手・役員の感想（まだ公開されていないようなのであとでリンクを張ります）に書いたのでそちらを参照してください。第29回国際情報オリンピックイラン大会速報も面白…

2017-08-03

ミラーラビン素数判定法とロー法

ミラーラビン素数判定法についてミラーラビン素数判定法はフェルマーテストを拡張した感じです。フェルマーテストではが素数のとき、フェルマーの小定理よりとが互いに素なときとなることを利用して、と互いに素な整数を取ってであれば合成数と判断…

2017-07-30

クリーネの不動点定理（とベルマンフォード法）

言語処理系で講義でクリーネの不動点定理をやった時にベルマンフォードの証明にも使えるなぁと思ったので紹介します。クリーネの不動点定理を完備半順序集合とし、をその上のスコット連続写像とする。このとき、は最小不動点を持つ。ここで、完備半順序…

2017-07-27

HashedNets

HashedNets [1] を chainer で実装しました。 HashedNets の説明ニューラルネットワークのパラメータ数は非常に多く、パラメータは冗長な表現になっていることが多いです。そこで、自由なパラメータの数を減らして、正則化と軽量化を達成するための手法の…

2017-07-23

本質的に曖昧な文脈自由言語

本質的に曖昧な文脈自由言語が存在するという事実は色んなところで何度も目にしてきたのですが、証明を見たことが無かったのでここで紹介します。流れは大体 [1] と同じですが、補題の証明はオリジナルも混ざってます（本質的には同じだとは思います）（間…

2017-07-20

Adam

Adam [1] を chainer で実装しました。 Adam の説明少ない時間・空間計算量で高い性能を出すということで、深層学習の分野で最近よく使われている最適化手法です。をパラメータに取る関数の（期待値）最小化を考えます。のに対する勾配をとします。一…

2017-07-16

大学のソフトウェア実験用のプログラム自動生成

大学のソフトウェア実験でMLのインタプリタを作っているのですが、テスト用にMLプログラムの自動生成プログラムを書きました。 generator.sh は一部 @basemusi 君に書いてもらってます。 github.com 型推論器のデバッグ用に作ったのでこの名前ですが、インタ…

2017-07-13

Dilated Convolution

Dilated Convolution を chainer で実装しました。 Dilated Convolution の説明 Dilated Convolution は、フィルターとの積を取る相手の間隔をあける畳み込みのことです。例えば、以下のような画像において、 12 を中心に 3 x 3 の普通の畳み込みフィルター…

2017-07-09

Batch Normalization

Batch Normalization [1] を chainer で実装しました。色々な場合に適用できて、学習速度が速くなったり汎化性能が上がったりするすごいテクです。 Batch Normalization の説明上層（出力層に近い層）の入力は、当然下層（入力層に近い側）のパラメータに…

2017-07-06

Generative Adversarial Nets

Generative Adversarial Nets [1] を chainer で実装しました。いわゆる GAN です。最近いろいろ派生系が出ています。画像の生成モデルはほとんどこれの派生な気がします。画像を生成する Generator （以下 G）と、画像が本物か G が生成したものかを識別…