icefog BLOG – ページ 8 – daily thoughts and activities

Boolean algebra v.s. Heyting algebra

2021年10月20日 by shinobu.yokoyama

【2021/10/12 ラジオ】Coqとか証明駆動開発とかに関するファクトチェックをした時のノートをlatexで書き起こしたものです. 興味がある方は参考にどうぞ. ※ブログメンテナンスの影響で, 記事番号が変わりました … 続きを読む

2021年9月9日 by shinobu.yokoyama

本日のお題は特に無し. なのでなんてことはない, ついさっきまで二つのPCスタンドの内どちらを買うかでずいぶん悩んでいて, ついに買った話を書きます. 元々私は頸椎ヘルニアがあって, 長時間の作業中少し頭を上に向けておき … 続きを読む

2021年9月22日2021年9月8日 by shinobu.yokoyama

2021年8月15日2021年8月14日 by shinobu.yokoyama

炎上動画で話題になっていたので動画のオリジナルをかいつまんで観た. 内容の感想や批判は専門家も発信されてる様子なので特に触れないようにしたいが, 切り口を変えて思うところを書いておきたい. まず前提として, daigoは … 続きを読む

2021年7月15日 by shinobu.yokoyama

背景深夜1時過ぎ, ローカルサーバ1が不明な原因で接続不良を起こす. CentOS 8系でローカルサーバ2を構築開始. OSの標準的なインストール自体は完了. ThinkPad (E470) 標準搭載のWireless … 続きを読む

2021年9月23日2021年7月7日 by shinobu.yokoyama

今回読んでいる本前回は, (然るべき意味で局所的に連続な) 情報をネットワーク・パラメタに反映させるのに適したConvolutional Layerと, それを取り入れたネットワークであるCNNを紹介した. 局所的な情 … 続きを読む

2021年7月8日2021年6月23日 by shinobu.yokoyama

今回読んでいる本前回はネットワークの学習テクニックについて紹介した. 第7章ではCNN (Convolutional Neural Network) について紹介していく. 六章までで, (ニューラル) ネットワークの … 続きを読む

2024年9月28日2021年6月22日 by shinobu.yokoyama

今回読んでいる本前回は誤差逆伝播法, 特にレイヤー間に受け渡されるパラメタに関する理論部分を補足した. 第六章では, 一貫して学習に関するテクニックを紹介している. 詳細は書籍を読んでもらうとし, 前々回からの復習とし … 続きを読む

2021年7月8日2021年6月5日 by shinobu.yokoyama

今回読んでいる本前回から少し時間が経ってしまったが, 5章のレヴューをしてみよう. 本章では, 誤差逆伝播法と呼ばれる計算アルゴリズムについて解説している. ここでは計算グラフ[1]関数 (operator) をver … 続きを読む

2021年7月8日2021年6月3日 by shinobu.yokoyama

In numerical differentiation, symmetric Newton’s quotient (a.k.a. symmetric difference quotient) is know … 続きを読む