はじめに CNF論理式とは リテラル（論理変数またはその否定）の論理和である節の論理積からなる論理式 CNF論理式: リテラル: 節: SAT問題とは あるCNF論理式を真にするようなリテラルの組み合わせは存在するかどうかの充足可能性問題。 x1を真にx2を偽にすれ…

はじめに JavaScriptでバイナリデータを扱いたい。 MNISTデータベースの教師用画像をJavaScriptのcanvasを用いて表示する。 Qiitaから移行。 MNISTデータセットの入手 よく手書き文字認識に使われるデータベース http://yann.lecun.com/exdb/mnist/ ここから…

時間制限 : 2sec / メモリ制限 : 256MB 配点 : 300 点 問題文 長さ N の整数列 a1,a2,…,aN が与えられます。 各 1≤i≤N に対し、ai に 1 足すか、1 引くか、なにもしないかの三つの操作からどれか一つを選んで行います。 この操作の後、ある整数 X を選んで、…

はじめに 「オライリー・ジャパンのゼロから作るDeep Learning」を読んで忘れないうちに備忘録的にディープラーニングの教師ありの分類問題についてまとめていきます。 隠れ層が1層の2層ニューラルネットワークを数値微分を使って勾配を求めて学習する部分ま…

はじめに toshusai.hatenablog.com この記事の時点で音声に関してあやふやだったことが多いので改めて書くことにした。今回はwavファイルを読み込んでフーリエ変換し、周波数ごとに振幅を表示したい。 wavファイルを読み込む import wave import numpy as np…

Blenderで音に合わせてキーフレームを打つ（Blender API） Pythonで音声ファイル(wav)を読み込んで、それに合わせてBlenderにあるオブジェクトの大きさを変えてアニメーションさせたらきっとかっこいいと思ったので。（あとから知ったのだが、Blenderは音声…

はじめに ただの簡単なファイルへの書き込み、読み込みのやり方 System.IO.StreamReader, StreamWriterを使う StreamWriterのコンストラクタの第２引数はtrueで追記、falseで上書き。コンストラクタはいっぱいオーバーロードされてるので詳しくはリファレン…

Python3でマイクから録音して音声をスペクトル表示する http://toshusai.hatenablog.com/entry/2017/11/10/224330 この記事で波形データを取ったが、今回はフーリエ変換してスペクトラム表示したかった。 マイクから音声を録音する https://www.ningendesu.n…

Python3でwavファイルから24fpsの波形データをとる 音の波形データを動画(24fps)に合わせて取りたかったのでやってみる。 wavファイルの読み込み Pythonには標準ライブラリでwavファイルを扱うwavというものが用意されている。 wave.open(file, mode=None) f…

C#をターミナルでコンパイルして実行する（Mac || OS X） brew install mono でmonoをインストールして、 mcs filename.cs でコンパイルして、 mono filename.exe で実行するだけ。

Unityでボタンに引数付きのイベントをスクリプトから設定する prefabとかでスクリプトからボタンを作るときに、ボタンごとに違うOnClick()イベントを渡したい。バージョンはUnity2017.2.0f2を使った。 ボタンにイベントをスクリプトから設定する Start()下２…

PHPでSQLite3を使う SQLite3とは、簡単に言えばサーバーを必要としないデータベースのこと。 (PHP 5 >= 5.3.0, PHP 7)で使える。 インストール apt-get install php5-sqlite データベースにアクセスする ファイルがなければ作られる。 クエリを実行する pub…

C#で日付を扱う System名前空間にあるDateTime構造体で日付を扱うことができる。 using System コンストラクタ 引数は年月日が最低必要、時間分秒ミリ秒まで初期化できる。デフォルトでは0。 DateTime date = new DateTime(int year, int month, int day); …