Diary over Finite Fields

515ひかるの日記と雑文

2015-10-01から1ヶ月間の記事一覧

どうでもいいはなし

どうでもいい, その上短い話をしよう. この前, 電車で偶然中学校のときの同級生にあった. 大学生になって以来, いや中学を卒業して以来初めてちゃんと顔を見た気がするくらい遠い仲だ. 向こうから声をかけられたのだが, 彼女はは化粧をしていた. 化粧した顔…

素数とゼータ関数という本を買った

素数とゼータ関数 (共立講座 数学の輝き)作者:小山 信也出版社/メーカー: 共立出版発売日: 2015/10/24メディア: 単行本 こんな本を購入した. 初等的な解析数論の本と思ってもらえばいいと思う. しかし初等的というのは抽象的すぎない程度の意味であって, む…

整数論を勉強しないといけない話

卒業研究で何を勉強するのかを決めないといけない. 忘れがちだけど私は整数論を勉強している人間なのであった. 後期からは各自テーマを決め, 各自のテーマに沿って卒業レポートを執筆するということになっている. 僕はたぶん 進数を勉強することになると思う…

少しシェルスクリプトを書いた.

少しシェルスクリプトを書いた. Gist においてある. README.md を割と真面目に書いてしまったが, 正直ここまで書く必要あったのかっていう感じもする. fetch_git 僕自身は自分はコミットしないが他人のコミットを常に気にしないといけないことがあって, それ…

地味に読書を再開した

映画はなんとなく下火になってきた. また観たくなったらいくらでも観ると思うのでしばらく休止*1. そんな中, 地味に読書を再開している. ライトノベルに限らず普通にミステリなんかを読もうかと思いつつラノベっぽいミテリを読んでいる. とりあえず, ずっと…

YouCompleteMe の設定で疲れた

YouCompleteMe という Vim エディタ用の補完プラグインがある. github.com これを利用させてもらい, Python と C++ の補完をしようと思っていろいろ試行錯誤をしていた. 疲れた. そんな疲れた体に鞭を打って忘れないうちにメモをとっておこうと思う. ちなみ…

PHP のためのローカル環境メモ.

諸事情で PHP を書く機運が高まっているので, PHP のローカルでの環境をメモしてみる. たぶん Arch Linux 系統の OS なら全部同じ方法でいけます. たぶん. 自分は Antergos でやりました. この記事では, Apache, Twig についてのみ書きます. Apache PHP 本体…

シェルプログラミング実用テクニックを買った

『シェルプログラミング実用テクニック』 という本を買った. シェルプログラミング実用テクニック (Software Design plus)作者:上田 隆一出版社/メーカー: 技術評論社発売日: 2015/05/15メディア: 大型本 別にシェルスクリプトが大好きというわけでもないの…

Antergos にしたので Emacs が復活した

錯覚かもしれないが, 慣れない環境よりは慣れてる環境の方が適応も早く作業もスムーズな気がする. やはり Windows10 を捨てて Antergos をインストールしたのは間違ってなどないんだろう. たぶん.そんなわけで Antergos 生活が始まってはや幾日. なかなか楽…

とりあえず Legendre 記号を計算できたっぽい

結局 Jacobi 記号の計算をすることにしたけど, 法とする整数を素数に限ることで事実上 Legendre 記号の計算になっているはずである.しかし, 正しいかテストなど全くしていない. あと, 素数のリスト prime は昨日のエラトステネスのふるいで作っている.hikaru…

なんとなく Legendre 記号を計算したくなったので下準備をした

なんとなく, Legendre 記号を計算したくなった. 当然手計算ではなくなんかプログラムを書こうと思ったわけである. しかし, 当たり前だが標数は素数なので素数のリストを作る必要がある. そこで簡単に作ってみた. #include <iostream> using namespace std; int main(in</iostream>…

Coq と Proof general をインストールした

せっかく Antergos をインストールしたのだからもっとそれっぽい話でも増やすべきなのかもしれないが, 今の所特に思い浮かんでいない. こんにちは515ひかるです.なんか壁にぶち当たって解決したら記事にしようかと思っているのだけれど, そもそも壁にぶち当…

うたわれるものを鑑賞した

「うたわれるもの」 アニメ1期を鑑賞した。 もともと名作とか感動作とかいうことは聞いていたのだけど、 全く見る機会はなかった。 しかし今回見る機会を得たので便乗して見ることにした。 鑑賞会に遊びに来ました— 515ひかる@うたわれるもの鑑賞会 (@515hik…

Antergos をインストールしたらしい.

どうも, このツイートくらいまでは記憶があるのだけれどそれ以降はあいまいだ.暇だと OS をインストールしたくなる病気なんだよね— ろくな人生じゃねえ (@515hikaru) 2015年10月17日 正直に言うと, 私にも何が起きたのか良くはわかっていない. しかしさっき…

ライトノベルのライトノベルの部分とそうでない部分というそんな感じのやつ

前から思っていたのだけれど, 僕はライトノベルっぽいラノベは別に好きではなくて, 確かにラノベ要素もあるけれどそれ以外の部分を存分に楽しんでいる.何を言いたいのかというと, 僕は 「涼宮ハルヒ」 の SF 部分やキョンの成長を楽しんでいたし, 「あの日見…

気付いたこと

銃皇無尽のファフニールがめっちゃ面白い。銃皇無尽のファフニール1 ドラゴンズ・エデン (講談社ラノベ文庫)作者:ツカサ出版社/メーカー: 講談社発売日: 2013/08/16メディア: Kindle版原作1巻だけ読みましたが続きも買おうと思います。現場からは以上です。

秋の夜に想う。

気が付いたら秋になっていた。バイト帰りの夜、 人が活動するには少し遅く、 街が寝静まるには少し早い時間あたり。 いつのまにか厚手のパーカーも暑いと感じなくなって、 それどころか風を通さないためには少し力不足で、 夏という季節が本当に終わったと感…

7 は孤独じゃない!! 無限に存在する 7 の仲間たち

みなさんは, アニメ「すべてが F になる」 を御覧になったでしょうか.www.f-noitamina.comそこで真賀田四季博士がこんなことを言ってましたね. 7 は孤独な数 この根拠は何かというと, 次の問題*1の答えで 7 が鍵になるからです. 1 から 10 までの数をふたつ…

本を読むということ, セミナーをするということ.

数学そのものの中身については触れないけれども, 数学の話で若干 Poetical な話をしようかと思う. 僕にとっては大事なことだけれど, きっと多くの人にとっては大事なことではない.一応言っておくが, ここで言う本とは数学書のことである. 主に数学者が書いた…

読んだことのある初学者向けの数学書

おすすめの数学書などというとおこがましいので, 私がまともに読んだことのある, 初学者, あるいは一年生むけのもののいくつかをまとめようかと思う. 以下では, 「本」 と書いてあったら数学書のことと思ってほしい.なおどの本もすべて読み切ったわけではな…

昔なじみと食事をした

たまにはこんな話でも.忘れがちなのだが私は大学の学部 4 年生で, そろそろ大学を卒業するとかそういう時期である. 忘れがちなのはひとえに私が進学をするからであって多くの人にとっては卒業はひとつの人生の節目になる. であるからして, すっかり忘れてい…

数学ブログ更新: Dirichlet 指標と L 関数

数学ブログのほうを更新したので, ご報告です.515ひかるのブログ 数学編: Dirichlet 指標と L 関数 です.まぁただのメモです. もし興味があればご一読ください.

関数型プログラミング言語に触れてみた雑感

結局 Coq の講義は履修しないでなんとなく遊ぶことにした. 来年履修するかもしれない, まぁ正直なところ単位はどうでもいい.しかし Coq, 違うとは聞いていたけど違いすぎてとりあえずビックリしている. いや, そもそも関数型プログラミング言語*1初見の僕だ…

515hikaru.com を移設した。

内容はあまり変わってないけどドメイン取得しました. 前のは見れなくなってると思います. はい.— 515ひかる (@515hikaru) 2015, 10月 5ということで, 515hikaru.com | トップページ をドメイン取得して公開しました.PHP ファイルだけどほとんど HTML です. …

近世数学史談によせて, 雑感

高木貞治先生の著作, 『近世数学史談』 を読んだ.近世数学史談 (岩波文庫)作者:高木 貞治出版社/メーカー: 岩波書店発売日: 1995/08/18メディア: 文庫これは面白い本であったがいささか著者特有の冗長さ*1というか, そういうものもあって少し読みにくい. 先…

微積分のセミナーをすることになった

微積分をきちんと勉強しなおす. かねてより幾度も言っているが, 微積分をきちんと勉強しなおすことにした. 私の目的は微積分の基本的な考え方, 手法, 定理や命題の依存関係, その応用をきちんと捉え直すことにある. また解析的な視点のみならず, 幾何的な視…

名作劇場 「生きる」

最近, 黒澤明監督作品 「生きる」 を購入した.生きる[東宝DVD名作セレクション]出版社/メーカー: 東宝発売日: 2015/02/18メディア: DVDいつかの記事に書いたけれど, 以前この映画の感想は一度記事にしているのだが, 過去に消してしまった. そのため, もう一…

高校生

定期的に長門有希ちゃんの消失を読まないと禁断症状が出るようになった. 禁断症状と言ってももののたとえで(当たり前だが), 実際に手が震えだしたり幻覚が見えたりするわけではない.このブログの愛読者の方(いるのだろうか)は, 突然二カ月ほど前にハルヒにハ…

ノートパソコンのインプレッション

月間 1,000 アクセスのお礼 まず最初にお礼を.なんか、 ありがとうございます。『515 ひかるのブログ 日常編』の今月のPVが1000を突破しました http://t.co/1dm6Tq3JMx #はてなブログ— ろくな人生じゃねえ (@515hikaru) 2015年9月30日なんか月間 1,000 アク…