Python で音響信号処理 spectrum.py
2016-07-16 Takuya Nishimoto (@24motz)
広島版IoT縛りの勉強会! IoTLT広島 vol.2
$ sudo apt-get install portaudio19-dev python-dev
$ curl https://bootstrap.pypa.io/get-pip.py | sudo python
version: "2" | |
services: | |
node: | |
build: | |
context: ./ | |
dockerfile: docker/node/Dockerfile | |
volumes: | |
- ./client:/app/client | |
- ./yarn.lock:/app/yarn.lock | |
- node_modules:/app/node_modules |
struct ProfileResponse: APIResponse { | |
let name: String | |
let age: Int | |
init(json: JSONObject) throws { | |
name = try json.get("name") | |
age = try json.get("age") | |
} | |
} | |
protocol APIEndpoint { |
#!/bin/sh | |
# exec cd ~/.emacs.d && cask upgrade-cask if you upgrade cask itself. | |
CASKPATH=~/.emacs.d/.cask | |
#VERSION=24.5.1 | |
#VERSION=25.0.95.1 | |
VERSION=25.1.1 | |
SUBDIR=package | |
BACKUPDIR=~/Dropbox/backup |
;; .emacs/init.el の先頭に記述 | |
(defconst before-load-init-time (current-time)) | |
(defun my:init-loading-time () | |
"Loading time of user init files including time for `after-init-hook'." | |
(let ((time1 (float-time | |
(time-subtract after-init-time before-load-init-time))) | |
(time2 (float-time | |
(time-subtract (current-time) before-load-init-time)))) | |
(message (concat "Loading init files: %.0f [msec], " | |
"of which %.f [msec] for `after-init-hook'.") |
Python で音響信号処理 spectrum.py
2016-07-16 Takuya Nishimoto (@24motz)
広島版IoT縛りの勉強会! IoTLT広島 vol.2
$ sudo apt-get install portaudio19-dev python-dev
$ curl https://bootstrap.pypa.io/get-pip.py | sudo python
tell application "System Events" to tell process "Mail" | |
set mainWindow to a reference to the first window | |
set rootSplitter to a reference to the first splitter group of the mainWindow | |
set firstSplitter to a reference to the last splitter group of the rootSplitter | |
set scrollArea to a reference to the last scroll area of the firstSplitter | |
set scrollGroup to a reference to the first group of the scrollArea | |
if number of groups of the scrollGroup is greater than 1 then | |
set maybeRemoteContentGroup to a reference to the first group of the scrollGroup | |
import init.setoid | |
import data.set | |
open set | |
structure category [class] := | |
(obj : Type) | |
(hom : obj → obj → Type) | |
(id : ∀ (x : obj), hom x x) | |
(comp : ∀ {a b c : obj}, hom b c → hom a b → hom a c) | |
(assoc : ∀ {a b c d} {f : hom a b} {g : hom b c} {h : hom c d}, |
\documentclass[uplatex,dvipdfmx,9pt,a5paper,papersize,fleqn]{jsarticle} | |
\usepackage{tikz,varwidth} | |
\usetikzlibrary{matrix,decorations.markings} | |
\begin{document} | |
\begin{equation} | |
\makebox[0pt][r]{\makebox[\mathindent][l]{1)}} | |
P_n(i,j) = \left(\begin{varwidth}[c]{\linewidth}% | |
\newcommand{\X}{\phantom{0}}% | |
\begin{tikzpicture}[ |