\begin{exe} \setcounter{xnumi}{7} \ex \begin{xlist} \ex ひとつめの例文です \ex ほげほげ \end{xlist} \ex \begin{xlist} \ex みっつめの例文です \end{xlist} \ex \begin{xlist} \ex ふがふが \end{xlist} \end{exe}こんな感じで，exe環境の中の，番号…

起こった問題 いまだにOSX El Capitanを使っているのだが（そしてそれほど「いまだに」とは思っていなかったのだが）， 先日CotEditorをなんとなくbrew upgradeしたら，OS10.12.xx以上じゃないと使えません的なメッセージが出た（たぶん3.6.7; どのバージョ…

十分長いランダム文字列でファイル名を決めておけばそう重複することはないだろうが，天文学的確率で起こる問題を回避するために． 所定のディレクトリに作ろうとする名前のディレクトリがある限り，新規にランダム文字列を生成する．2018/12/3追記：最初に…

やりたいこと いくつか例外として処理したい条件があって，それぞれ別の挙動を設定しておきたい． 疑似コードで書くと以下のような状態． try: procedure1 except Exc1: behavior1 except Exc2: behavior2 finally: procedure2 やったこと 条件ごとにExcepti…

リスト内包表記 リスト内包表記とは，（定義はわからないが）forループの結果をそのままリストにする書き方であり，ちょっとした応用的なpython独特の文法らしい． 内包表記を使わずにリストを定義→forループ→リストにappend，とやるより速度がだいぶ速いら…

例 たとえばこんなテキストがあるとする． 01 ID = 0001 02 ref = hoge 03 body = "hogehogehugahuga" 04 ID = 0002 05 ref = bura 06 body = " 07 buraburaguruguru" ... 06と07は本来1行なのだが，なぜか改行されてしまっている． なんとなく構造のあるテ…

Settings -> Notifications -> GoogleMap の Sound を On にしたら声が出るようになった (iPhone6, iOS11.4)．Onになってるとバイブレーションがビービーうるさくて嫌だから切っていたのだが，画面を凝視しないと道がわからないのも嫌だ．アプリごとにバイブ…

OneDriveをアップデートしたら治った アプリケーションのメニューにアップデートという選択肢がないが，インストールし直せばいいっぽい 私はAppStoreからインストールしてたが，インストールしてあるのになぜかボタンが「インストール」になってた（普通は…

問題 emacsのシェルでpythonを実行すると，入っているはずのパッケージが呼び出されないことがある． $ which python /usr/bin/python $ pyenv versions system (set by /Users/user/.pyenv/version) 2.7.10 3.4.6 ∗ anaconda2-4.3.1 anaconda3-4.3.1 こんな…

ごくシンプルな例に整理する． やりかた lang_list = [u'perl', u'python', u'ruby', u'perl', u'python', u'python', u'ruby', u'python', u'ruby', u'lisp'] lang_dic = {} for lang in lang_list: if lang not in lang_dic.keys(): lang_dic[lang] = 1 el…

毎回やるたびに忘れてて調べるのでメモ． やりかた hira = u'あ' kata = unichr(ord(hira) - 96) # -> kata = u'ア' やってること ord() は文字のコードを返す関数で，ascii型ならasciiコード，unicode型ならunicodeを返す． unichr() は逆にコードからunico…

私の経験では通常再生されないチャンネルに音声が放り込まれているケースが多い． 対処 $ ffmpeg -i input.mpeg -ac 1 out.wav 解説 ac 1でチャンネルを一つだけ生成する（から，優先的に再生されるチャンネルにデータが入る） ac 2とすればステレオのままい…

珍しく仕事のデータ形式に依存しないスクリプトを書いたので，調べたことなどを忘れないように． ソース #! /usr/bin/python # coding: utf-8 import subprocess import re import sys # import codecs import os import urllib2 IMGURL = re.compile(ur'htt…