As configured in my dotfiles.
start new:
tmux
start new with session name:
#!/bin/bash | |
set -e | |
set -u | |
if [ $# -eq 0 ]; then | |
git submodule -q foreach 'echo $name' | xargs -n 1 -P 10 git-submodule-fetch | |
else | |
while [ $# -gt 0 ]; do | |
(cd $1; git fetch -q || echo "Failed to fetch $1">&2) |
As configured in my dotfiles.
start new:
tmux
start new with session name:
# | |
# Install: | |
# install https://github.com/github/gollum | |
# in /srv/wiki do a git init | |
# add this script to /etc/init/gollum.conf | |
# | |
# Usage: | |
# start/stop/restart gollum | |
# |
#!/bin/sh | |
# extend non-HiDPI external display on DP* above HiDPI internal display eDP* | |
# see also https://wiki.archlinux.org/index.php/HiDPI | |
# you may run into https://bugs.freedesktop.org/show_bug.cgi?id=39949 | |
# https://bugs.launchpad.net/ubuntu/+source/xorg-server/+bug/883319 | |
EXT=`xrandr --current | sed 's/^\(.*\) connected.*$/\1/p;d' | grep -v '^eDP' | head -n 1` | |
INT=`xrandr --current | sed 's/^\(.*\) connected.*$/\1/p;d' | grep -v '^DP' |grep -v 'HDMI' | head -n 1` | |
ext_w=`xrandr | sed 's/^'"${EXT}"' [^0-9]* \([0-9]\+\)x.*$/\1/p;d'` |
あせ (・_・;) 顔文字 | |
あせ (・∀・;) 顔文字 | |
あせ (^ω^;;) 顔文字 | |
あせ (゚∀゚ ;)タラー 顔文字 | |
あたふた ヽ(´・ω・`ヽ) 顔文字 | |
あつい (。>﹏<)あㄘ”ゅい 顔文字 | |
あつい ι(´Д`υ)アジィー 顔文字 | |
あつい あㄘ”ゅい(>﹏<。Ξ。>﹏<)あㄘ”ゅい 顔文字 | |
あはは ( ゚∀゚)アハハ八八ノヽノヽノヽノ \ / \/ \ 顔文字 | |
あひゃ アヒャヒャヒャ(゚∀゚≡゚∀゚)ヒャヒャヒャ 顔文字 |
import Tkinter | |
from matplotlib.backends.backend_tkagg import FigureCanvasTkAgg | |
from matplotlib.figure import Figure | |
class App: | |
def __init__(self, master): | |
# Create a container | |
frame = Tkinter.Frame(master) | |
# Create 2 buttons | |
self.button_left = Tkinter.Button(frame,text="< Decrease Slope", |
『表現のための実践ロイヤル英文法』暗記用例文300オーディオブック紹介ページに掲載されているPDFをJSON化したものです。
詳しくは作成者のブログをご覧下さい。
なお、著作者やその代理人からの要請があれば、すぐ削除いたします。tasuku-s-github@titech.acにご連絡ください。
Base URL: https://www.google.com/speech-api/v1/recognize
It accepts POST
requests with voice file encoded in FLAC format, and query parameters for control.
client
The client's name you're connecting from. For spoofing purposes, let's use chromium
lang
Speech language, for example, ar-QA
for Qatari Arabic, or en-US
for U.S. English
Copyright (C) 2006, Jonathan E. Taylor | |
All rights reserved. | |
Copyright (c) 2006-2008 Scipy Developers. | |
All rights reserved. | |
Copyright (c) 2009-2018 statsmodels Developers. | |
All rights reserved. | |
from casadi import * | |
import math | |
import numpy as np | |
class MPC: | |
def __init__(self): | |
# 問題設定 | |
T = 1.0 # ホライゾン長さ (MPCなので短め) | |
N = 20 # ホライゾン離散化グリッド数 (MPCなので荒め) |