2014-01-01から1年間の記事一覧

CSS3のanimationでボールの放物線運動

CSS

させてみた。というのもトスジャグリングのシュミレータみたいなのを製作したいときに放物線の描画は必須だし試しにやってみようと思って。HTML5のcanvasとかの方が正確な放物線を描けると思うけれど、 CSS3にもanimationという機能があるということなので実…

CentOS上でtar.xz形式のファイルを解凍する

今ローカル開発環境の構築中で、CentOS 6.5にPythonを導入したりしています。Python 2.7.8をwgetして, tar.xz形式のファイルをtarで展開しようとしたんだけれど [vagrant@localhost ~]$ tar -Jxvf Python-2.7.8.tar.xz tar (child): xz: Cannot exec: No suc…

英語で用いられるラテン文字

今現在最も解読者人口が多い文字である、ラテン文字(ローマ字)についてふと調べたくなったので調べてみました。大学では主に文字列処理に関連した内容の研究をしているので、自然言語で用いられる文字体系について考えさせられることがしばしばあり、平仮…

CtrlキーとCapsLockキーの入れ替え(Windows 8.1)

先日, Windows8.1をゲット。 今まで使っていたWindows7ではCtrlキーとCapsLockキーを入れ替えて使っていたので, 今回も入れ替えました。EmacsなどのキーバインドではCtrlキーを頻繁に利用するものの、Ctrlキーはホームポジションから遠い位置にあるので使い…

日本の祝日

先日, 日本の祝日の話を聞いて, 興味を持ったので調べてみました. 今現在, 日本の法律で定められている祝日を下表にまとめます. 月日名称備考 1月 1日元旦 ・1948~・New Years Day・四方節:年初の慣習 第二月曜日成人の日 ・ハッピーマンデー制度の影響…

新年

新年あけましておめでとうございます。2014年、初めての記事です。 昨日の記事で書いたように、今年の豊富を書き残しておこうと思います。 今年の抱負 『頭を使って生きる』 兎に角、これですね。 いつでも、どこでも、何をしていても。 2013年、尊敬できる…