チャイルドとらっぷ 数学ガールが本気出した件
「数学ガール～ゲーデルの不完全性定理～」を 一応なんとか最後まで読みました。 １～９章と１０章（最終章）のギャップが激しすぎましたｗ ９章までは、１０章で必要となる事柄の準備という感じで、 いつもの数学ガールらしく穏やかなペースで進んでいくんですが、 ゲーデルの不完全性定理の話題に突入する１０章は 今までの数学ガールにないほどの「全力で数学してる感」が溢れてて かなりの厳しさがありました。 形式的証明という話題を扱う以上、それなりに厳密な議論をするしかないのは理解できますが、 それにしても４６個の定義（式）の羅列にはちょっと呆然。 それまでの章で、いつにも増して 「諦めずにじっくり考えることが大事だ」「感覚ではなく数式で理解しなきゃ」 みたいな精神論が多かったのは、きっとこの１０章のために 読者に送られたメッセージなんだろうなーと思いましたｗ １０章は・・・なんとなく半分くらいはわかったよ
Gitの基礎練習
バージョン管理ツールGitの基礎練習です。 Windows XPのコマンドプロンプトでGitの基本的なコマンドを動かしていきます。 Gitを学び始めるきっかけにどうぞ。 （筆者もまだGitを使いこなしているわけではありません。 誤りのご報告、改善提案などは大歓迎です。フィードバックからよろしくお願いします） 目次 はじめに ダウンロードとインストール ファイルをGitの管理下に置きましょう 新しいファイルを追加します 新しいディレクトリを追加します 編集からコミットまでの流れはこんな風に進みます ブランチを使ってみましょう ここまでの作業ログを見ましょう この文書に書かなかったこと 関連リンク 更新履歴 ぜひ、感想をお送りください はじめに Windows XPのコマンドプロンプトで、 バージョン管理ツールGitの基本的なコマンドを動かしてみましょう。 この文書の通りに実行すると、 基本的
あなたの不安こそ，最強の武器
この記事は結城浩氏が，2008年3月24日に発売した日経ソフトウエア2008年5月号の特集「はじめてのプログラミング」向けに著したものの再掲です。記述された内容は，執筆当時の情報に基づいています。 こんにちは，結城浩です。 私は，あなたがだれか知りません。でも，あなたがどんなことを思っているか，少し知っています。なぜなら，20数年前，私は現在のあなたと似ている状態だったからです。 現在の私は45歳。プログラミング技術の本を書いたり，暗号技術や数学の本を書いたり，Web技術の連載記事を書いたりしています。厳密な意味でのプログラマではありませんが，プログラミングに密接にかかわるこの業界でお仕事をしています。 でも20数年前，私は不安でいっぱいでした。 不安？ 未来がわからない不安。何を勉強すればいいかわからなくて不安。プログラムを書けるかどうかわからなくて不安。不安，不安，不安だらけでした。
math/perl - 日付のhyuki表現 : 404 Blog Not Found
2009年04月08日12:17 カテゴリLightweight LanguagesMath math/perl - 日付のhyuki表現 良問。見逃していた。 2009-03-14 - 結城浩のはてな日記 円周率3.141592653589793…の中で、最初に「"月日時分秒"と見なせる数字列」が出てくるところは、小数点以下何桁目？ まず、脊髄反射で書いた答え。 use strict; use warnings; use Time::Local; use Math::BigFloat lib => 'GMP'; my $maxdigits = shift || 1000; my $pi = Math::BigFloat->bpi($maxdigits) . ''; $pi =~ s/3\./3/; for my $d ( 0 .. $maxdigits - 10) { my ( $mo,
はてなダイアリーライター（略称：はてダラ）
はてなダイアリーライター（はてダラ）は、 ローカルに作った 2004-08-19.txt のようなテキストファイルを、 はてなダイアリーの日記として自動書き込みするコマンドラインツールです。 ご連絡: (2009-09-12) スクリプトをGithubで管理はじめました。(hatena-diary-writer) ご連絡: (2009-08-04) はてダラがhttpsなページでうまく動かない 目次 詳細目次 はじめに インストールと基本的な使い方 「はてダラ」スクリプト本体のダウンロード コマンドラインオプション 設定ファイル ちょっとしたコツ よくある質問(FAQ) 「この環境で動きました」情報 関連ツール: はてダラスプリッタ(hws.pl) 更新履歴 関連リンク 作成メモ ぜひ、感想をお送りください 詳細目次 詳細目次 はじめに インストールと基本的な使い方 「はてダラ」を動かすの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
小学校時代には天才的に成績がいいけれど、そのためにかえって中学二年くらいからつらくなるパターン
校正の実例 - 文章を書く心がけ3 結城浩
