「論理と計算のしくみ」が大変ためになった - 北海道苫小牧市出身の初老PGが書くブログ
読み終わったので感想です。他の方々からも良書だ、良書だと勧められましたが、結論から言うとやはり買いです。 論理と計算のしくみ 萩谷 昌己 西崎 真也 前半は論理学から話を初めてゲーデルの不完全性定理までを論じます。後半はλ計算と型理論についての内容です。カリー・ハワード対応がわからなくてもいいのであれば、後半のλ計算の部分だけ読むこともできます。 読み切れば、例えば、本物のプログラマはHaskellを使うの連載に出てくる次のような単語の意味は理解できるようになるでしょう。 reduction call-by-name call-by-value Weak Head Normal Form 型推論 依存型 多相型 他にも以下のような聞いたことあるけどなんだろこれって知識が補完されます。 命題論理、述語論理、様相論理、時相論理、直観論理 ゲーデルの不完全性定理 チューリングマシンの停止性問題
ベイズの定理（入門編） - Pashango’s Blog
前回のエントリーで予告した通り、今回は「ベイズの定理」です。 事前に断っておきますが、ベイズの定理は簡単です。 内容は小学生レベルの算数ですから、解らなくても自信を持って何回か読みなおせば絶対にわかります。 （わからなかったらコメントに質問してね） ベイズの定理ってなんぞ？ ベイズの定理とはトーマス・ベイズ(1702-1761)というイギリスの牧師によって発見されました。 今やベイズの定理はあらゆる所に使われいます、スパムメールを振り分けたり、犯罪捜査に使われたり、マーケティングに使われたり、人工知能に使われたり、沈没しちゃった潜水艦を見つけたり、株の売買に使われたり、結婚相手を見つけちゃったり・・・ ベイズ万能すぎるだろ！！ 「ベイズの定理」を理解はしなくても、言葉だけでも覚えていれば何かと便利です。 何かしらの問題に直面した際に、 「ふむ・・・このxにベイズの定理を使えば・・・」 とつ
差のつく勉強法200のメモ - tanamonの稀に良く書く日記
Seaser Conference 2009 Whiteのid:nowokayさんのセッションがとても勉強になったので、セッションのメモ（というかスライドの写経）を載せておきます。 差のつく勉強法200 - 35歳定年説を乗り越えるために何をすればいいか 35歳になりました。 35歳は定年です。 35歳定年説とは ついていけなくなる プログラマじゃ稼げないので管理職になる もうひとつ 飽きる 飽きる理由 一通りやった感 プログラム言語もいくつかやった データアクセスの移り変わりも見た ユーザインターフェースも見た 同じようなプログラムばっかり 35歳定年説を乗り越えるには ついていく 価値を上げる プログラムのおもしろさを知る いろいろ作れるようになる ちゃんと勉強するということ。 何を勉強するか？ 基礎 情報系の大学でやっていることをちゃんとやる。 プログラムとは何かを知る 何が処理でき
生活や実務に役立つ高精度計算サイト
2023/9/20 地図を利用した機能の提供を終了しました。 ご利用のお客さまにはご不便をおかけしますが、ご理解賜りますようお願い申し上げます。 （提供終了日 2023/9/11） 2023/7/3 ライブラリを追加しました。 野球のOPSの計算 2023/6/20 ライブラリを追加しました。 子供の反復横とびの平均値 2023/3/6 ライブラリを追加しました。 60歳以降働いた場合の年金増加額を計算 2023/2/16 ライブラリを追加しました。 磁束密度の換算 2023/2/9 ライブラリを追加しました。 角速度の換算 2023/1/27 ライブラリを追加しました。 税理士、司法書士等の報酬の源泉徴収税額を計算 2023/1/12 ライブラリを追加しました。 リフィル処方箋の日にち計算 2022/12/21 ライブラリを追加しました。 ポイント獲得時のお得な課金額は？ 2022/12
FF(16進数の掛け算)を覚えよう - やねうらおブログ(移転しました)
最近、あるプログラマと話していて気づいたのだけど、彼は16進数の2桁と1桁との掛け算(FDh×5とか)が出来ない。やり方自体を知らないのだ。彼はWindowsの電卓を立ち上げて計算していた。 そのときは「プログラマでなくともこんなこと知ってて当然だろ！」と思ったのだけど、その後、10人ぐらいのプログラマに出来るかどうか聞いてみたが誰も出来ない。 結局、「普通は出来ない」のだと私は理解した。しかし16進数の掛け算はそんなに難しくない。私が子供のころには、まわりにＦＦ(1×1＝1に始まって、F×F＝E1まで)を丸暗記している人がいっぱいいた。情報教育の一環として中学か高校で教えても計算の仕方ぐらい教えればいいのになぁと思っている。 前置きが長くなったが、以下にやり方などを書いておく。 ■ 16進数に馴染もう 16進数では、A = 10 , B = 11 , C = 12 , D = 13 ,
連載：はじめMath! Javaでコンピュータ数学｜gihyo.jp … 技術評論社
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
勉強用ページ
using static System.Console; class Welcome { /// <summary> /// saying hello to all visitors and welcome. /// </summary> /// <param name="args">visitors</param> public static void Main(string[] args) { foreach(string visitor in args) { WriteLine($"Hello {visitor}."); } WriteLine("Welcome to my web page."); } } C# によるプログラミング入門 コンピュータの基礎知識 アルゴリズムとデータ構造 ブログ ようこそ ++C++; へ。 C#・情報工学を中心に勉強用ページとブログを載せています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
類別 [物理のかぎしっぽ]