「型の理論」と証明支援システム -- COQの世界2014年度秋学期 応用数学（解析） 第２部・基本的な微分方程式 ／ 第５回 微分方程式とは，変数分離形 (2014. 10. 23)Akira Asano
二文字.comドメインが空いていた話 [LT駆動開発 04] - ねむむ日記
「LT駆動開発 04 - いつもどおりいこう」に参加してきました。 LT駆動開発というのは参加者がお互いにLT(ライトニングトーク)をしてまさかりを投げたり投げられたりする事で発表者も含む参加者全員で学ぼうという勉強会です。 LTの内容はidobataによる通知環境の構築やCoqプログラミングやJoke駆動開発、VyattaでFW構築やIT系の資格についてなど様々なジャンルの発表がありました。 今回僕が発表したLTの内容は「WHOISとドメイン」です。 内容はスライドの通りです。 空きドメインリストはSQLiteのdb形式で http://kadokawadwango.com に置いておきます。(約28MB) (情報が古くなったので削除しました 2015/12/14) 二文字空きドメイン(cm.com)はまだ取得可能な様子なので、誰か取得してみてください。 ドメイン料金の返金についてはこれ
![二文字.comドメインが空いていた話 [LT駆動開発 04] - ねむむ日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/26f613271e1298724570099d19717a319db5c352/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F12921228815714737255%2F12921228815725691762%2F1450090678)
微分方程式の講義ノートPDF。例題と解答付き （常微分方程式の初歩的な解き方を勉強） - 主に言語とシステム開発に関して
講義ノートの目次へ 微分方程式の基礎を学ぶための講義ノートPDF。 独学に使えるオンライン教科書を集めた。院試対策の演習問題と解答もある。 微分方程式は，大学１年で必ず押さえておこう。 そうしないとあちこちで（ほとんど全分野で！）つまづいてしまう。 物理や工学の他にも，化学反応，生き物の個体数，価格の変動…などなど， 「数式で動きをモデリング」する時に何にでも使う。早いうちにマスターしよう。 とくに解が厳密に求められるケースでは， 解き方のパターンを一通り押さえておく必要がある。 求積法 →解を積分で表現 級数解 →解を無限和で表現 演算子法やラプラス変換 →代数的・記号的な操作 こういった基礎ができれば，次はもっと実用的な段階にステップアップできる： 難しい微分方程式の場合，コンピュータで数値的に シミュレーションして解を求める。 ルンゲ・クッタ法などのアルゴリズムを使う。 現実世界では
bufferの移動には buffer-moveがいい感じ - Shohei Yoshida's Diary
frameをいくつかの windowに分割して作業している時, 今右側の やつを左にしたいとか, 上にあるやつを下にしたいっていうときが ありますよね. 習慣なのか効き目なのかわからないですけど, 私は普通編集するものはだいたい左に置いて, 眺めるだけのものを 右に置いています. でも逆になってしまうことがあって, ちまちま 切り替えたりしていました. それも面倒だったので自分で簡単な 切り替え関数を書いて使っていたんですが, すでにあって好きな 方向へ移動できたので紹介します. 図解 ;; カーソルが #fooにあるとする +--------------+-------------+ | | | | #foo | #bar | | | | +--------------+-------------+ | | | #baz | | | +--------------------------
Swift Cheat Sheet
A quick cheat sheet and reference guide for Apple's Swift language. This guide intends to cover all the key features of Swift, including Strings, Arrays, Dictionaries and Flow Control. Swift is a new programming language for developing iOS and OS X apps that was introduced by Apple in June 2014. Variables var myInt = 1 var myExplicitInt: Int = 1 // explicit type var x = 1, y = 2, z = 3 // declare
アップルプログラマーによる Swift 開発の背景
［Swift の開発者 Chris Lattner：photo］ プログラミングには無縁の筆者だが、WWDC で意表をついて発表されたプログラミング言語「Swift」にはいたく心を動かされた。 言語の詳細には手が出ないが、せめて背景だけでも知りたいと思った。 Swift を開発したアップルのプログラマー Chris Lattner によれば、開発には４年の歳月がかかったという。 Chris Lattner’s Homepage: “Swift” by Chris Lattner: 03 June 2014 ＊ ＊ ＊ ４年の開発期間 私は Swift プログラミング言語（wikipedia）の仕事を 2010 年７月に始めた。基本的言語構造の大部分はその存在を知る限られた数人と一緒に実装した。2011 年後半には他にもすばらしいひとたちが本気で貢献を始めた。そして 2013
フリーフォント22選【日本語対応／商用可／無料】
最初から入っている標準フォントだけでは、ブログの画像にキャプションを入れたいとき、WEBサイトのメリハリを付けたいとき、ロゴを作りたいときなど、かっこがつかない！そんなふうに思うことありますよね。 しかしフリーフォントって、あまりに種類がたくさんありすぎて、どれを使っていいのやら困ってしまいがち。欧文フォントは種類も豊富だけれど、日本語対応(漢字も対応)フォントを探し出すのはひと苦労。 そこで！今回は使うだけでサイトや印刷物がかっこよく仕上がる、そんな日本語フリーフォントをご紹介いたします。 誰でも自由に無料ダウンロード！商用利用も可日本語対応上記を満たすフォントの中でも、特にクオリティが高く、様々なシーンで使用できそうなフォントを中心に集めました。（参考：サイト改善 10のポイント） 誰でも上手いキャッチコピーが作れる！ノウハウ記事17選とテクニック集 1. スタイリッシュにまとめたい
日本人のための LaTeX タブー集 ～画像読込編～ - Qiita
長い前置き 今年（2013年）の3月に、「使ってはいけない LaTeX のコマンド・パッケージ・作法」という記事が公開され、LaTeX 使用者の間で少し話題になっているようです。記事の中でも述べられているように、その記事の内容は CTAN で「l2tabu パッケージ」として公開されている“An Essential Guide to LaTeX2e Usage”という文書1からの抜粋となっています。この文書は TeX Live にも含まれていて、texdoc l2tabuen を実行すると PDF を読むことができます。 しかし、l2tabu は欧米のユーザの間でまとめ上げられた「タブー集」ですので、欧米とは異なる事情をもつ日本人に特有の事項については当然ながら触れられていません。そこで、このような「日本人のためのタブー集」を紹介しようと思います。初回となる本記事では画像の取り扱い、すなわ
Apple Has (Partly) Lifted the NDA for Beta Releases
With the release of the beta versions of iOS 8 and OS X Yosemite at WWDC 2014 yesterday, Apple has also updated the legal agreements for registered iOS and Mac developers. Among other changes, Apple has added the following sentence to section “10.1 Information Deemed Apple Confidential” of the iOS Developer Program License Agreement: Further, Apple agrees that You will not be bound by the foregoin
プレゼン資料やブログに使える、無料で商用利用可能なイラスト素材サイト15選
プレゼン資料やブログ記事などを作成していて「ここにちょっとイラストがほしいなー」と思ったりしたときに重宝する、無料で商用利用可能なイラスト素材を配布しているサイトを集めてみました。 1. イラストAC イラストがすべて無料 「イラストAC」 2. ほらぱれっと 無料イラスト素材集ほらぱれっと / フリー＆商用可TOPページ 3. ピクト缶 商用利用可のベクターイラスト素材集「ピクト缶」 4. ガーリー素材 ガーリー素材 | 無料フリーイラスト素材配布サイト 5. ストックマテリアル 商用可能な無料(フリー)のイラスト素材ならストックマテリアル 6. 無料素材倶楽部 アイコン・イラストフリー素材画像-無料素材倶楽部 7. エムスタジオ 商用利用/加工利用可能な無料フリーイラストアイコン素材 -エムスタジオ 8. クリップアートファクトリー クリップアートファクトリー | 全部無料で使えるテン
青森の女性カップルが婚姻届、市は憲法根拠に不受理 （Web東奥） - Yahoo!ニュース
同性愛者ら性的少数者や性暴力被害者の支援を行っている青森市のAさん(46)とBさん(29)の女性同士のカップルが5日、青森市役所に婚姻届を提出した。同市は憲法を根拠に受理せず、2人の求めに応じ不受理証明書を発行した。2人は「性的少数者の存在に目を向けてほしい、婚姻制度を使えない人がいることを知ってほしいと思い提出した。不受理の判断が出たここからが始まりだと思う」と話している。 憲法24条1項で「婚姻は、両性の合意のみに基いて成立」（原文のまま）と記されており、性的少数者のサポートを行っている「岩手レインボー・ネットワーク」代表の山下梓さん(31)は「公に婚姻届を提出する同性カップルは今回が国内で初めてではないか」と話している。 2人は同日午後、各地から駆けつけた支援者ら10人と青森市役所を訪れ、婚姻届を提出した。本来の書式のほか、「夫」「妻」の項目を消したものなど計3種類の婚姻届を提示
3歳の息子に大きな声でどうもありがとうて言いたくなった私の愛をはてなの中心で叫ぶことにシタ！ - 私のブログ
いつかは私の元から去っていくであろう今はまだ小さな3歳の息子とのかけがえのない大切なひとときの中から【私と息子が過ごす１日】のお話。 すごくもないし特別でもない。小さくたって光ってる。 こんな私を愛情で一杯にしてくれた息子へ、ありがとう。 朝起きて...... 私の息子が2668gの少しだけ小さな体で産声をあげてから早いもので3年が経ちました。小さく産まれ大きく育ってくれた今は100センチを超え体重も16キロ。 そんな3歳の息子の一日は早朝6時にはじまります。 私のとってもかわいい息子はムックリと布団から起きあがると満面の笑みを浮かべ私の元へとやってきます。さあ抱きしめてやろうと両手を広げ胸を開いて待っているとその手をスルリと抜けて私の顔面へとやってきます。まさかと思ったが時すでに遅し。私の両目をその小さな手で何度も突き刺しにかかるのです。「ブヘヘへ」。笑っています。それからその小さな手は
なんで分かってくれないのと思っているなら分かり合うなんて夢のまた夢 - 斗比主閲子の姑日記
時々、「なんで自分の気持ちを分かってくれないの！？」と仰っている人を見かけますが、そういう風に思っているうちは、ある程度お互いに相手を想像できる状態に持っていくのは厳しいですよね。相手が自分を分かってくれないのと同時に、自分は相手がなぜ分からないかが分からないんですから。 などと、禅問答風に書いても、「なんで分かってくれないの！？」を連呼することが果てしない回り道であることは伝わらないでしょうから、もう少し丁寧に書いてみます。 元ネタはこちらです。 夫に妻の大変さを理解してもらうのは無理なのかも - 仕事は母ちゃん photo by Kalexanderson 想像できることには各人限界と得意不得意がある まず、相手がどうしてそういうことをするのか、相手が何を考えているか、想像ができる対象というのは、人によって得意不得意があるということから書きます。 想像ができる範囲が広い人は、相手がどう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
WHOISとドメイン
ltdd01
「じつは学歴で年収は変わらない」日本の教育を変えるエビデンス・ベーストとは？ 中室牧子さんに聞く
pazzdra | RubyGems.org | your community gem host
恋するフォーチュンクッキー 元祖平成吹奏楽団Ver.
BLOGOS サービス終了のお知らせ
