Shinji Kono's Home Page
河野真治 (こうのしんじ) のホームページにようこそ 論文リスト 時相論理に関する研究 講義のページ 発表 ソフトウェアのページ Agda 入門 shinji kono's github mercurial repository 他には... blog nkf (network kanji filter) に関すること 学内向け案内 (アクセス制限あり) イベント及び写真集 カレーのページ 沖縄に関すること fjに関すること HTMLの例題 (non frame version) (ここはフレームの方が便利) 河野真治について 琉球大学情報工学科 並列信頼研究室 昔の話題 sfの話題 その他の話題 R.I.P. English Page is here メールはこちらへ。kono@ie.u-ryukyu.ac.jp http://bw-www.ie.u-ryukyu.ac.jp/~kono
Agda の入門の要約
Menu Menu top : Agda による圏論入門 ここで使われている例題は、 Category exercise in Agda に置いてあります。 Agda の install の方法 Homebrew を使うのが良いそうです。 Emacs を先に入れます。 brew tap caskroom/cask brew cask install emacs その後、 brew install agda GHCが入ってないなら、 brew install ghc install 先がどこかは、 /usr/local/Cellar/agda/2.5.2/lib/agda などになるので、~/.emacs.d/init.el に以下のファイルを置きます。あるいは自分のinit.el に適当に追加します。 init.el GUI 側で使わないと文字化けすることがあるようです。 Terminal
naltomaは激怒した
梅雨入り宣言したその日の朝に傘が盗まれた。強すぎる沖縄の日差しをせめてもの直射日光からは身を守るべく購入した雨傘にも使える完全遮光の傘が盗まれた。naltomaには盗人心がわからぬ。せんせー怒るから盗んだやつは手を上げなさい。。。こんちくしょい。ということで1年ちょいでなくなってしまった日傘をまた注文しましたよ。毎月1千円を傘代にあててることになるとかどこの住人なんだろう。前にあちこち店舗回っても良さげなもの無かったので迷わずに注文。こんちくしょい。こんちくしょい。
Agda による圏論入門
Menu Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 BitBucket category-exercise-in-agda source code Agda の入門の要約 Agda の入門 Agda の集合の Level Agda の record Agda のReasoning Caategory module と圏の入門 自然変換 IdentityFunctor と Hom Reasoning Monad の結合則 Sets と Monoid を使った Monad の例 Kleisli 圏の構成 ここまでが Monad を理解するための部分。以下は、Adjoint 関連です。 Adjoint から Monad を導く Kleisli 圏による Mona
(不定期コラム) 機械学習 #ieryukyu_readings
前回のコラムから始まった「何かしらの専門分野に関する読み物の紹介」第2段として機械学習を取り上げてみます。 紹介ページ: 機械学習 はじめよう 今回紹介するのは「機械学習」です。機械学習そのものに限らず、ニュアンスが近い設定としての「人工知能」や単に「学習」というキーワードはマンガ／アニメ等でも出てきますね。耳にする事が少なくないキーワードですが、実体としては良く分からないことが多いのではないかと思います。 人工知能学会における説明としては「観測センサーやその他の手段で収集されたデータの中から一貫性のある規則を見つけだそうとする研究です．数学の統計の分野と強い関連があります．また，機械学習はAIの他のほとんどの分野で利用されています．」と説明されていますが、事典ぐらいの説明に留まっているためあまり具体的ではなく、良く分からないかもしれませんね。 機械学習の実体を連載解説しているページが前述
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
