タグ

2016年3月4日のブックマーク (2件)

  • Graphic lambda calculus

    UPDATE (2020): If you search for the history of graphic lambda calculus and it’s relations with chemlambda then please use: Graph rewrites, from emergent algebras to chemlambda or arXiv:2007.10288 [cs.LO] or (pdf) or (figshare) For more information Chemlambda page is the place to go, or  arXiv:2003.14332 [cs.AI]. If you look only for graphic lambda calculus then see (journal) (arxiv) – Graphic lam

    Graphic lambda calculus
  • 数学への分野転向の際に行った勉強のこと - はるさんの日記。

    2016 - 03 - 04 数学への分野転向の際に行った勉強のこと 仕事術 最近周辺で、受験生時代の勉強方法についてまとめている人がちらほら見えて どれもとても勉強になったので、私も釣られて書いてみようと思いました。 しかしながら生憎、他の皆さんの記事が素晴らしいので、 プラスαのバリューを出せそうなことは殆どなさそうだなと思いました。 何か他と違った視点で書けないかなーと思って思いついたのが 薬学から数学への転向の話です。 特に今夜は久しぶりに純粋数学の問題を自分で設定して解こうとしてもがいて、 転向した時の初心を思い出したので、 初心を更に思い出すために記録したいと思います。 まず簡単なまとめから。 仕事において、新しい分野の勉強をする際には 難しすぎる教科書には手を出さない(適切なレベルから始める) その道のエキスパートに基礎として何を学ぶべきか教えを請う どのようにして仕事に活か

    数学への分野転向の際に行った勉強のこと - はるさんの日記。