圏論勉強会ではない方の圏論勉強会 第7回です。資料とustreamは公開されています。 司会の方がワークスアプリケーションズ社を退社されたので今回からバトンタッチ 後半第一回目 第7回: 様々な極限 | 代数的データ型 / 講師 @9_ties さん 1時間で話せる内容…

第一回 ゆるふわHaskell入門会に来ています。Hackathonがメインですが、トークもボチボチありますのでメモります。 究極の手続き型言語Haskell / @fumieval さん 関数型言語とは 関数を自在に操作、組み合わせて記述 手続き型とは 手続きを自在に組み合わせ…

圏論勉強会ではない方の圏論勉強会 第6回です。資料とustreamは公開されています。 第6回: 積・余積・極限 / 講師 @9_ties さん 普遍性の概念によって定義される極限と余極限について 終対象 任意の対象から射がひとつだけ存在 同型を除いて一意 1と1'があれ…

Linux Mint上でgperlをビルドした。原則、ないと言われたものをどんどんaptで入れてっただけだけど、jit/jit.hがないって言われてそいつだけaptで解決できなかったのでこのPostScriptのファイル読んでlibjitをビルドした。これで万事うまくgperlが作れたので…

圏論勉強会ではない方の圏論勉強会 第5回です。資料とustreamは公開されています。 今日は倚子が追加された ワークスアプリケーションズ社さんに感謝しましよう 第5回: 様々な射 / 講師 @9_ties さん Hom集合についての補足 A言語とB言語のトランスレーターt…

圏論勉強会 第4回のHom関手で悲鳴が上がってたので補足してみる。Hom関手がなんであるかは@9_tiesさんもおっしゃっていたようにひたすら手を動かすしかなくて、圏論を覚えたいのであればしっかりと復習する必要がある部分なのは間違いない。とは言え、効率の…

圏論勉強会ではない方の圏論勉強会 第4回にまたやって来ました。資料とustreamは公開されています。 ワークスアプリケーションズ社に入ると、リハーサルも見れてお得だよ！ 第4回: 射で考える / 講師 @9_ties さん 様々な概念を圏論の言葉のみで述べる 今日…

インストールが終わったので設定メモ(随時更新)。 日本語化 ここ。 様々なアプリでEmacsキーバインディング 以下みたいな感じ。(ほんとはdconf Editor使ったけど) $ sudo apt-get install dconf-tools $ gsettings set org.mate.interface gtk-key-theme Ema…

LZ750/LSを中古で買ってLinux Mintを突っ込んだメモ。ちょっと前のエントリだけど、UEFI Secure Boot と Linux の微妙な関係を読めば今はちょうどブートローダー周りの過渡期にあるということが分かる。なので、普通に作業するとインストールディスクが起動…