Help us understand the problem. What is going on with this user?
41semicolon
@41semicolon
低燃費FIRE。論理・計算関連のトピックに興味があります。JavaScript,Python,Rust,F#,Coq
$ analyze @41semicolon
posted articles
  • JavaScript:20%
  • 数学:7%
  • Python:6%
  • Node.js:6%
  • ポエム:5%
LGTMed articles
  • JavaScript:9%
  • Python:7%
  • 数学:3%
  • 機械学習:3%
  • Haskell:2%
Edit Pickup Articles (Up to 3)
    Pickup Articles
    • Ramda の関数を巡る
      8
      # 目的 Ramda の関数はたくさんあるので整理 # 1. 関数合成 関数合成は、`pipe`, `compose` を使うのが基本。最初に渡す関数の引数が 1 の場合に使う `o` というのもある。Promise の then チェーンは `composeP`, `pipeP`。 モナドなど chain を満たすものの 直列化には、 `composeK`, `pipeK`。 さて、関数合成...
      2018/08/16
    • シンプレックス法を雑に理解した
      15
      わかる人には当たり前で、わからない人には多分わからない駄文だが、将来の自分には有用と判断して公開 # 参考文献 http://www.me.titech.ac.jp/~mizu_lab/text.html シンプレックス法でも勉強しようとググっていくつかのページを見たけど、東工大の水野研が公開しているPDFのテキストが一番わかりやすかった # 1. 標準形への変形 二次関数のグラフを描画し...
      2018/10/17
    • 『Software Foundations vol.1』レビュー
      3
      ## 概要 『Software Foundations』(『ソフトウェアの基礎』)という無料のオンライン教科書があります。大学院の学生を想定している4巻構成のテキストで、Coqを使って、プログラムやアルゴリズムの形式的に証明をしながら、ボトムアップでソフトウェアの各種構成部品を作っていくものです。 Coqの勉強資材としてもすぐれているので、Coqの勉強がてら Vol1.の練習問題を一通り終わら...
      2019/11/08
    Why do not you register as a user and use Qiita more conveniently?
    You need to log in to use this function. Qiita can be used more conveniently after logging in.
    You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
    1. We will deliver articles that match you
      By following users and tags, you can catch up information on technical fields that you are interested in as a whole
    2. you can read useful information later efficiently
      By "stocking" the articles you like, you can search right away
    ユーザーは見つかりませんでした