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…