素数の個数が、自然対数(log)で表せるのはなぜか - hiroyukikojima’s blog
今回も、前回に引き続いて、素数のことについて書こうと思う(前回のエントリーは、また、最大の素数が更新された！ - hiroyukikojimaの日記)。 最近、素数に興味を持っているのには、二つの理由がある。 第一は、受験雑誌『高校への数学』東京出版に、新年度の4月号からの連載で、素数について書こうと思っていること。実はこの雑誌での連載は、今年で30年になる。ちょうど区切りの年となるので、ぼくの中学生の頃の初心に戻って、素数について語ってみようと思っている次第。 第二の理由は、今月刊行される『現代思想増刊 リーマン特集』青土社のための鼎談を年末に行ったこと(リーマンについての鼎談と、NHKの番組でのイギリス数学者の発言のこと - hiroyukikojimaの日記参照)。そこで、黒川信重先生からリーマン予想についてのお話を伺って、がぜん、素数についての興味がかき立てられたのだ。 素数の話を
Gitのコミットハッシュ値は何を元にどうやって生成されているのか | メルカリエンジニアリング
こんにちは。サーバサイドエンジニアの @DQNEO です。 前回の「Gitのつくりかた」に続いてGitのコアな部分のお話です。 Gitのコミットハッシュ値とは何か Gitを使っていると必ずコミットハッシュ値というものが出てきます。9e47c22みたいなアレです。 これはある特定のコミットを指し示すIDとして使うことができます。 では質問です。 このコミットハッシュ値は「何を元に」「どうやって」計算されているでしょうか？ 「ある特定のコミット」とはそもそも何なのか この問題を考える前に、まず「コミットとは何か」を明らかにしておきましょう。 コミットというと「コミットする行為」すなわち「動作」のことを想像するかもしれません。 しかしGitの内部構造的観点から言うと、Gitが管理記録しているのはコミット行為の結果生成されたデータの方です。 この「コミットによって生成されたデータ」のことを「コミッ
Google Spreadsheetで効率的に物件を探す - hitode909の日記
11月に引っ越したのだけど，そのときにGoogle Spreadsheetを活用して，いい感じに物件を探すことができた． そのときに実践したこととか，気をつけたことなどを共有します． 要件を決める 最初に，どういった要求があるのか明らかにする．いま住んでる家の気に入らないところを挙げていくと明らかになると思う．僕は以下のような条件で探した． インターネットが無料であること*1 料理したいのでガス二口以上 風呂とトイレが別であること ゴミ出し大変なので敷地内にゴミ置き場があること 布団を干せること 静かであること 家賃8万円以下 荷物少ないので狭くてよい SUUMOで検索する SUUMOとかで検索する．適当だけどこんな感じ．家賃でソートするよりは，新しい順とかでソートするほうがよさそうな物件見つかりがちだった． 二条城前駅、烏丸御池駅、京都市役所前駅、三条京阪駅、東山駅の賃貸・部屋探し情報一
渋滞時は自動でステアリング操作、新型「A4」
新型A4で採用したADASで特徴的なのが、渋滞時に自動で車間距離を取りつつ同一車線での走行を維持する「トラフィックジャムアシスト」機能だ。先行車追従機能（ACC）と車線維持機能（LKA）を組み合わせることで実現した。 トラフィックジャムアシスト機能は、0〜65km/hの車速で渋滞時に走行している時に、先行車両に合わせて制御するもの。車両が停止しても、3秒以内に先行車両が動き出せば、クルマは自動で再発進する。アクセルとブレーキの制御だけでなく、車線から逸脱しそうになると自動で修正舵を切るステアリングの操作にも介入する。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
