vimtex+GVim on windowsの設定メモ

ちょっと手間取ったのでメモ. 環境 Windows 10 TeX Live 2017 GVIM (chcolateyで入れたやつ.Kaoriya Vimではない) Sumatra PDF TeXエンジンを.latexmkで選べるようにする 参考: vimtexでuplatexがコンパイルできない(vimtex_compiler_latexmkの設定) – …

Surface Pro (2017年モデル)を買いました

久々の更新です.3年ほどNECのLavie Zを使っていましたが,タブレットとノートPCを両方持ち歩くのが非常にダルくなってしまったので,2 in 1PCを検討していました.また,手書き入力でデジタルノートを書きたいと思っていて,ペン入力がしっかりしている機種…

2016年個人的アニメ(+α)名場面集

今年も素晴らしいアニメをたくさん見れました.その中から特に印象に残った作品をまとめました. 響けユーフォニアム2 関西大会の12分間 今年一番印象に残ったシーンは,ユーフォ2期の「三日月の舞」の演奏.12分間セリフなしにもかかわらず安心の山田尚子演…

腰椎椎間板ヘルニア手術体験記

前のエントリーで書いたとおり,腰椎椎間板ヘルニアの手術を受けてきました. 手術前日 手術の前日の朝10時から入院.病室は8人部屋の大部屋.ラッキーなことに通路側だったので,左にしか人がいないとはいえ,結構大人数である.部屋には簡単な棚・小さな金…

腰椎椎間板ヘルニアになりました

久しぶりの更新がコレとは情けない話ですが,腰椎椎間板ヘルニアになりました. 経緯 2014年10月頃 長時間立っていると左足が痛い.最初は特に気になる感じでもなく,筋肉痛か何かだと思って放っておいた. 2015年12月 だんだんと短時間立っているのも辛くな…

2015年個人的アニメ名場面集

今年もたくさんのアニメ作品に出会えました.今年を振り返って,個人的アニメ名場面集. 四月は君の嘘 14話 椿の恋心 今年一番のアニメは?と言われたら間違いなく「四月は君の嘘」ですね.昨年末から2クールでやっていたけど,年明けてからのストーリーの猛…

デジモンアドベンチャー tri. 第1章 観てきた

ネタバレ注意

プリキュアで学ぶ劣モジュラ関数

Machine Learning Advent Calendar 2015 1日目の企画です.機械学習・人工知能系の国際会議(ICML, NIPS, AAAIなど)のチュートリアルや論文を眺めたことのある人なら,Submodular Function(劣モジュラ関数)という単語に見覚えがあるかもしれません.実際…

プリキュアオールナイト2015に行ってきた

先週金曜日,劇場でプリキュアの映画をオールナイト上映するイベント,「プリキュアオールナイト」に行ってきました.場所は新宿バルト9.当然,未成年は深夜に映画館に来れないので,完全に大きなお友達向けのイベントです.ちなみに今回で3回目ですが,自…

自分とBack to the future

私の計算が正しければ―――2015年10月21日は,“Back to the future: Part 2”でドクとマーティがデロリアンで「未来」に降り立ったまさにその日だ*1.この記念すべき時に,自分とBack to the future (BTTF)の思い出について書いておきたい.届きました pic.twit…

2014年個人的アニメ名場面集

今年もあと少しでおしまいということで,今年のアニメで自分の印象に残ったシーンを挙げてみました. 『たまこラブストーリー』 やっぱり今年の一番はこれしかない.公開初日に観に行ったときの感動は忘れられないですね.あまりの素晴らしさに錯乱して1500…

Schwartz-Zippelの補題

自分のお気に入りの補題のなかにSchwartz-Zippelの補題というものがある.代数,確率,それに組合せ的な話が出てきてとても楽しい補題である.日本語の文献が少ないようなので,ここで紹介しておきたい.補題のStatementは以下の通りである. Schwartz-Zippe…

“quad”は「4」なのに何故“quadratic”は「2次」なのか

“quadratic equation”といえば「2次方程式」のことだ.一方で,“quad”といえば「4」を意味する.そもそも“quad”はラテン語の「4」である“quattuor”に由来する.“quad-core processor”はコアが4つあるプロセッサーのことだし,“quarter”は1/4のことだし,“qua…

『Godzilla』観た

以下ネタバレ注意

東方紅魔郷をLinuxで動かすゲームエンジン PyTouhou

TLで見かけたので動かしてみた.東方紅魔郷はWindows用のゲームなので,LinuxでやるならWINE等を使うと思う(まともに動くかどうかは知らない)のだけど,Pythonでバックエンドのゲームエンジンを実装してしまったのが"PyTouhou"だ. 使い方 公式ページからdeb…

『たまこラブストーリー』2回目観てきた

ネタバレ注意

『たまこラブストーリー』観てきた

以下ネタバレ注意

有限体上の線形代数

線形代数の講義で体が主役になることはあまりありません.だいたい R か C くらいを想定しておけば十分です.ところが,有限体上で線形代数を考えると色々と面白いことがあります.そして,組合せ論ではけっこう重要だったりするのです.さて,次の命題のう…

映画『プリキュアオールスターズ NewStage3 永遠のともだち』を観てきた

以下ネタバレ注意

数学協働プログラムシンポジウム『世界は計算!されている』に行ってきた

数学協働プログラムシンポジウム『世界は計算!されている』 に行ってきました.数学の一般講演イベントは珍しい気がしますね.全部は書ききれないので,個人的に面白かったところだけ感想を書いていきます. シンポジウムは桜井進さんのオーガナイズで進行…

『数学の想像力 正しさの深層に何があるのか』を読んだ

京大にいた頃に一度だけお会いしたことのある加藤文元先生(現:熊本大教授)の著書ということで,読んでみた.本格的に数学史を扱った本を読んだのは初めてだったので,数学を研究してる者として非常に楽しめた. 数学の「正しさ」とは 本書のテーマは「数…

『「ゼロリスク社会」の罠』を読んだ

「ゼロリスク社会」の罠 「怖い」が判断を狂わせる (光文社新書)作者: 佐藤健太郎出版社/メーカー: 光文社発売日: 2012/09/14メディア: 新書購入: 51人 クリック: 757回この商品を含むブログ (18件) を見るリスクについて色々書いた本.キーワードは「定性思…

BibLaTeXの使い方まとめ

TeXの参考文献管理といえばBibTeXが定番だが,最近ではBibLaTeX+biberというのがあって,BibTeXよりもカスタマイズがしやすいらしい.日本語ドキュメントがほとんどないので,適当に公式マニュアルとStack Exchangeあたりを参考にまとめてみた. 使い方 bibe…

Android端末とプレイリストの同期をrsyncで行う

iPhoneと違ってAndroidにはiTunes的なものがない.したがって,PCのプレイリストと端末内のプレイリスト(およびライブラリ)との同期は基本的に手動で行わなければならない. 自分はUbuntuユーザーなので,BansheeのプレイリストとAndroid端末内の音楽ライ…

Sauer-Shelah Lemma

Vapnik-Chervonekis-Sauer-Shelah Lemmaともいう.いわゆる極値組合せ論の定理.機械学習のVC次元等に応用がある(らしい).集合 $E$ の部分集合族 $\mathcal{F}$ が集合 $S \subseteq E$ を shutter するとは,任意の $X \subseteq S$ に対して $S \cap F …

『トリック劇場版 ラストステージ』観てきた

以下,ネタバレ注意!↓↓↓ブラジル

ゼルダの伝説神々のトライフォース2 レビュー

神トラ2をクリア(ハードモード含む)したのでレビューを書くことにした. 音楽が素晴らしい 一番気に入ったのは音楽.おなじみのゼル伝の曲もアレンジが色々あって楽しめる.家に入ったら「ふしぎのぼうし」の曲が流れてきてにんまり.演出も凝っていて,た…

2014年の目標

あけましておめでとうございます.今年もよろしくおねがいします.毎年恒例,今年の目標を立てようと思う. トップ会議に論文を通す やはり研究の目標としては,「トップ会議に論文を通す」というのが一番いいと思うので,これにした.まずはSTOC・SODA・FOC…

2013年を振り返って

今年ももう終わり.個人的に印象に残ったことを書いていこうと思う. 一人で海外(チリ)に行った 国際会議で発表するため,単身チリに行った.日本人が一人もいない環境で一週間過ごしたことは良い経験になったと思う.研究業績としてもIPCOに単著で通した…

HTC J One(HTL22)買った+auショップでの注意点

HTC EVO WiMAXからHTC J Oneに機種変更した. ボディーはシルバー.画面が4.2inchから4.7inchになったので,ボディは大きくなったが,EVOより軽い. バッテリー容量も向上.他のレビューによれば,省電力モードと組合わせるとiPhone並のバッテリー持ちになる…

プリキュアオールスターズNewStage2と花咲くいろは劇場版を観てきた

以下,ネタバレ注意.

PS3でアニメ環境を構築したメモ

東京に引越しました!引越しついでにTVを買い換え,ついでにPS3も買ってホームメディア環境(というとカッコいいけど,要するにいアニメ環境)を整えたので,ちょいとメモ. 環境の特徴 特徴としては 固定回線がない.スマホのWimaxテザリングをメイン回線と…

Ubuntuを1ヶ月メインOSとして使って分かったこと

新しいPCを買ったときやクリーンインストールすることになったときのために、色々書き残しておく なんだかんだWindowsは必要 いきなりこれか〜いw 残念ながら、世の中全部UNIXにはできないのです。旅費の書類書いてください→\doc/\xls/とかよくある。あ…

2013年の目標

明けましておめでとうございます。今年もよろしくお願い致します。恒例、新年の目標。 まずは、研究を頑張りたい。DC1出した後、M2で色々成果が出たのでDC2も何とか通るといいなぁ。なんにせよ、D1は今以上の調子でいきたい! 実は2月から東京住まいになるの…

2012年を振り返って

2012年もいろいろあったけど、あと少しで終わり。今年も、元旦に立てた目標がどうなったかチェックだ。 研究 「年内に1回はどこかの学会で発表しておきたい」は実行した。「DC1」はダメだったので、来年がんばろう。 勉強 「符号理論と暗号理論」をやりたか…

Lenovo G570 43347FJ(Ralink RT3090)上のUbuntu12.04で無線LANが不安定な問題

最近、またUbuntuを使っている。以前は有線LANで失敗したため断念したが、無線ルーターを買ってきたので、問題なくなった・・・・はずだったのだが、どうも無線LANが不安定。具体的には、次の症状が出る。 wlan0が認識されないときがある。ネットワークセン…

「映画スマイルプリキュア! 絵本の中はみんなチグハグ!」と「ヱヴァンゲリヲン新劇場版:Q」を観てきた

以下ネタバレ注意

Project Euler Problems 60, 61

どちらも難問だった。 Problem 60 問題はこちら。Nまでの素数全体を頂点集合とし、2つの素数を連結してもまた素数になるときに枝があるような、無向グラフを考える。すると、このグラフの大きさ5のクリークのうち、和が最小のものを求める問題になる。 無向…

Aptana Studio 3でGit, Githubを使う

色々つまったのでメモしておく。 Gitを使う まずは、EGitプラグインを入れる。Aptana付属のGitプラグインはユーザー名が設定できなかったり、色々と問題があるため。"Help">"Install New Softwares"で、"http://download.eclipse.org/egit/updates"を"Work w…

Project Euler: Problem 44

問題はこちら。5角数(と日本語で言うのか知らないけど)Pi, Pj(i def main_guess(): penta_iter = (n*(3*n-1)//2 for n in itertools.count(1)) penta_set = set() for x in penta_iter: 'x:=Pi+Pjとし, xを順に大きくして探索する.' penta_set.add(x) for …

9-10月に読んだ本

9月の分を書くのをすっかり忘れていた。けいおん! highschool (まんがタイムKRコミックス)作者: かきふらい出版社/メーカー: 芳文社発売日: 2012/10/27メディア: コミック購入: 15人 クリック: 221回この商品を含むブログ (64件) を見るけいおん! college (…

数学論文を書く時の英語表現がわかる資料まとめ

また論文の英語で苦労した。よくある科学英語の書き方的な本では、実験系の論文スタイルの解説がメインになっており、理論系とは勝手が異なる。また、数学にも独特のルールがある。今回は、数学(および数理科学・情報科学)の論文英語に便利な資料と本をま…

アンケート調査の報道を見たらまずは元の質問文を探そう

読売新聞の「関関同立」新入生の6割、大麻入手「できる」という記事。 関西学院、関西、同志社、立命館の4大学は、今春入学した大学1年生を対象にした「薬物に関する意識調査」の結果を発表した。 興奮や幻覚作用のある脱法ドラッグについて、4人に1人…

「原発ゼロ政策」の社説比較に見る、東京新聞のぶっちぎり感。

今週政府で決定された「2030年代までに原発ゼロ」政策。これに対する各新聞の社説を読んでみたら、東京新聞が異常にぶっ飛んでいた。 社説というか活動家のビラ 問題の社説がこれ→東京新聞:ページが見つかりませんでした(TOKYO Web) タイトルからして「政府…

8月に読んだ本

偶然車内広告で目にした浜村渚シリーズを2冊読んだ。浜村渚の計算ノート (講談社文庫)作者: 青柳碧人出版社/メーカー: 講談社発売日: 2011/06/15メディア: 文庫購入: 3人 クリック: 65回この商品を含むブログ (50件) を見る浜村渚の計算ノ-ト 2さつめ ふしぎ…

7月に読んだ本

7月はマンガ。理系クン 夫婦できるかな?作者: 高世えり子出版社/メーカー: 文藝春秋発売日: 2012/06/12メディア: 単行本購入: 6人 クリック: 68回この商品を含むブログ (9件) を見る理系クンシリーズ最新刊。初期に比べると、「理系クン」ことN島氏もだいぶ…

『おおかみこどもの雨と雪』感想

細田守監督の『おおかみこどもの雨と雪』を観てきました。 以下ネタバレ注意

数学パズル:ガソリンスタンドとサーキット

面白い問題を見つけたのでメモしておく。 円環状の道路に、ガソリンスタンドが点在している。道路上のすべてのスタンドのガソリンを集めても、ちょうど道路を1周する分のガソリンしかない。今、ガソリンタンクが空っぽの車がある。このとき、あるガソリンス…

数学論文を書く時の英語表現まとめ

最近論文を書いた時の経験を、個人的にリストにしておく。 基本事項 主語は基本的に“we”を使う。 時勢は過去形か現在形。未来形は(Future workなどを除いて)基本使わない。現在完了もときどき使うけど、頻度は低い。 記号を宣言するとき Let G be a bipart…

5月に読んだ本

TOEFLを受けたので、5月はTOEFLの参考書ばかり読んでいた。 TOEFL本 iBT対応 TOEFLテスト完全攻略リーディング (TOEFLテスト完全攻略シリーズ)作者: ポールワーデン,霜村和久,ロバートヒルキ,Paul Wadden,Robert A. Hilke出版社/メーカー: アルク発売日: 200…