• 人気のコメント (0)
  • 全てのコメント
dowhile dowhile 読みにくい

2018/07/25 リンク

    関連記事

    古典的微分幾何・ベクトル解析のモダン化 : ダイレクトインデックス記法 - 檜山正幸のキマイラ飼育記

    微分幾何では、点の座標やベクトルの成分表示において、上下の添字〈インデックス〉を使い分けます。こ...

    ブックマークしたユーザー

    • dowhile2018/07/25 dowhile
    • faiyum2018/07/22 faiyum
    • haretaL5122018/07/22 haretaL512
    • us5f2018/07/22 us5f
    • sgo22018/07/22 sgo2
    • keint2018/07/22 keint
    • netcraft32018/07/21 netcraft3
    • daopone2018/07/21 daopone
    • renyuuki2018/07/21 renyuuki
    • asianmonster0222018/07/21 asianmonster022
    • sobirout2018/07/21 sobirout
    • te_k0002018/07/21 te_k000
    • omega3142018/07/21 omega314
    • xef2018/07/21 xef
    すべてのユーザーの
    詳細を表示します

    いま人気の記事

    いま人気の記事 - 学び

    新着記事 - 学び

    同じサイトの新着

    • ロマ数ナイト #12 サポート記事 : ホッジ・ランク - 檜山正幸のキマイラ飼育記

      2 usersd.hatena.ne.jp/m-hiyama

      この記事は、「ロマンティック数学ナイト @ 渋谷 #12 」の事後サポート用の記事です。今週中に何度か更新 ( 編集・追加 ) すると思います。 内容 : この記事の目的 比較可能性グラフ 離散ド・ラーム理論のセットアップ ド・ラーム複体とド・ラーム・コホモロジー ド・ラーム複体の解釈 ホッジ分解 見出しだけ ここから先は追加記述予定 この記事の目的 2018年8月11 日開催の「ロマンティック数学ナイト @ 渋谷 #12 」でショートプレゼンします。時間は数分なので、尻切れトンボになるのは目に見えています。なので、僕のプレゼンをお聞きいただいた後の確認や補足のために、この記事を準備しておきます。 ロマンティック数学ナイト @ 渋谷 #12 現時点では、当日資料 ( スライド ) を作ってないので、資料の作製に伴いこの記事にも手を加えるでしょう。フィックスするのは金曜日かな。 ( 資料はその前に提出したいけど、締切に間に合うかな
    • TypeScriptで( 無理して ) 論理式 : 言霊排除 - 檜山正幸のキマイラ飼育記

      3 usersd.hatena.ne.jp/m-hiyama

      論理的議論は、日常生活の情念や雑念を取り払った、シンプルでドライなスタイルで遂行します。例えば、日常会話においては、「 A である」と「 A でなくはない」の意味は違います ( 違いをうまく説明できないけど ) 。論理 ( 古典論理*1) では、「 A である」と「 A でなくはない」は完全に同じです。日常言語の微妙さ・煩雑さを切り捨て、理想化・単純化することにより、強靭な推論能力が手に入るのです。 日常言語を使っているかぎり、日常の論理、あるいは日常の非論理が混ざり込むことは避けられません。論理的推論のための人工言語を使うのが望ましいでしょう。そこで、プログラミング言語 TypeScriptを( かなり無理クリに ) 使って、論理的命題の記述を試みてみます。 本文中の例題を実行してみたい方は、最後の節を先に見てください。 内容 : 命題と真偽判定とは何であるか TypeScript を使う 言霊の影響からの脱却 なぜ TypeSc
    • ジイサンふたりの会話 - 檜山正幸のキマイラ飼育記

      1 usersd.hatena.ne.jp/m-hiyama

      某氏「 OS-9 って、今でも生きてるんよ」 檜山「エエーッ」 某氏「組み込み用だけどね、 … 」 檜山「 XAtom ってあったでしょ」 某氏「あったね、プロパティ名だっけ」 檜山「あれ、実体は整数で … 」 某氏「 ITRON だとね、 socket 使えんのよ」 檜山「 SVR4 TLI? 」 某氏「そういうやつじゃなくて、 … 」 檜山「昔、 register って手で入れてたけどね」 某氏「あれ、無駄でしょ」 檜山「うん、無意味、今じゃいつレジスターに乗るかが … 」 某氏「 AT コマンド使って」 檜山「 at 、時間指定 ? 」 某氏「いや、モデムの」 檜山「あーっ、 ATDT 番号とかの」
    • カッコイイけど使える線形代数とは ? - 檜山正幸のキマイラ飼育記

      3 usersd.hatena.ne.jp/m-hiyama

    Murat Gassiev vs Oleksandr Usyk Live | Watch live stream online

    1 users http://vsportslivestream.club/

    LIVE ONLINE ~! Stoke vs Hamburger Live Stream Free Online 2018 - Limouzik

    1 users https://www.limouzik.com/