2014-01-01から1年間の記事一覧
プリアンブルに \usepackage[T1]{fontenc} を追加するのみ．URL内でつまった表示になっていたアンダースコア（"_"）が綺麗に表示されるだけでなく，これでコピー＆ペーストするときもきちんと動作する．ちなみにアンダースコアは日本語ではアンダーライン，…
最近はWindowsを起動することもなくなってきたし，Macbook Pro (Mid 2010)のMac用のHDDの容量が残り20から30GBを行ったり来たりしていたので，Windows用に使っていた部分を消して，Mac用に統合することにした．参考にしたページはこれ．Boot CampのWindowsパ…
2014年9月の読書メーター読んだ本の数：7冊読んだページ数：1860ページナイス数：6ナイス岡潔―数学の詩人 (岩波新書)の感想鋭い発見の喜び。戦争中には研究という壺に閉じこもる。研究につまり、台風で荒れ狂う鳴門海峡を船で乗り切ろうと決心。どれもしびれ…
これからの時代，日本語と英語だけでいいのか，いや，いくない！いくない！というわけで，水曜の4コマ目にスペイン語の授業に出ることにした．残りの学生生活の間にスペイン語をマスターしようと思う．出た授業は「スペイン語2」．その名前の通り，他の学生…
標高8,848mのエベレスト（チョモランマ）が世界一とされているけど，これは「地球の中心からエベレストの頂上までの距離」 - 「地球の中心からエベレスト地点の平均海面までの距離」という式で求めた高さだそう．簡単に言うと，海面から計った高さということ…
のenumerate環境で，箇条書きの初めの数字を，先頭に0をつけて複数桁表示にしたいとき． 例えば3桁の数字で箇条書きを始めたい時は， \documentclass{article} \usepackage{enumitem} \def\threedigits#1{ \ifnum#1としてやると良い． するとこんな感じにな…
「みんなのPython」にもturtleモジュールを使う際にエラーが出たら対処するように書かれている． py34-tkinterってのを入れていないせいでエラーが出るようなので， $ sudo port install py34-tkinter してやると，無事from turtle import *をしてエラーを吐…
今はMacPortsよりHomebrewなんだろうか．それでもやっぱりMacPorts経由でpython3.4.1をインストールした．手順は，まず $ sudo port install python34 としてpythonをインストールしてから， 確認するとpython3.X系が選択されていないことが以下のようにして…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
twitterでのつぶやきまとめがブログにまとめられている．いつかそんな設定したようなしてないような．いつもブログ続けよう続けようと思っても，いつの間にか止まってしまって放置してしまっている．自分の考えをまとめるためにも，3行だけでもいいから書か…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…
