SMTソルバと情報量最大化を組み合わせてWordleソルバを作る
SMTソルバと情報量（エントロピー）計算を組み合わせたWordleソルバ 最近流行の単語当てゲームWordle（ちょっと乗り遅れた？）について，SMTソルバと平均情報量を用いる，ヒューリスティク...
0
0
Comment0
10 search resultsShowing 1~10 results
Stocked
You need to log-in
東大理IIIは本当に男子の合格率が高いのか？
TL;DR 東大の理科3類の男子と女子の合格率の間に統計的に有意（p<0.05）な差はない。 鳥取大，島根大医学部の男女の合格率の間にも統計的に有意な差はない。 背景 最近，上野千鶴子氏の...
96
52
Comment16
OCamlでCSVの数値データ読み込みとPDFへの描画
OCamlでCSVを読み込んでPDFにプロットしてみた。 まずOPAMで依存パッケージをインストールしておく。 opam install batteries csv camlpdf 以下のソース...
4
3
Comment0
BuckleScript (+ webpack)を使いNode.jsやブラウザ上でOCamlを動かす
BuckleScript（BS）は、JavaScriptコードをターゲットにするOCamlコンパイラ。コンパイルが高速で、読みやすく簡潔なJavaScriptを出力し、簡潔なFFI（OCamlと...
20
19
Comment0
MATLABからScalaのコードを呼び出す
こんな感じで、JVMのバイナリをMATLABから呼べる。 package nebuta.matlablib object Main { def hello: Unit = { println("...
0
0
Comment0
Rustのポインタ（所有権・参照）・可変性についての簡単なまとめ
Rustはトレイト（ScalaのトレイトやHaskellの型クラスのようなもの）に基づく安全で強力な型システム、並行計算、高速な実行などを売りにした新しい言語であるが、他のメジャーな言語にはない...
120
86
Comment2
Rust1.3でCSV読み込み
注目の新言語Rustは半年くらい前まで仕様変更が激しすぎて学び甲斐がなかったが、最近は少しずつ仕様が安定してきているような印象。 Rust1.3でCSVを読み込む例。CSVライブラリはhttps...
2
1
Comment0
Quicksort in Rust
注釈：以下のコードはRust 0.5で書かれたもので、最新のバージョン（1.3）では全くコンパイルできない Rustでクイックソート。Genericsを使っていて、配列の要素がOrdトレイトのイ...
5
4
Comment0
Mozilla発の新言語Rustの概要
Rust(http://www.rust-lang.org/)というMozillaが開発している言語に興味を持っている。マルチコアを生かす次世代のブラウザエンジンであるServoの開発に使われて...
16
15
Comment0
Haskellの機械学習ライブラリHLearn
これはHaskell Advent Calendar 2013の16日目の記事です。突っ込み・コメントなど歓迎します。 HLearnは、代数的構造を利用した統計・機械学習ライブラリということで、...
43
41
Comment0
10 search resultsShowing 1~10 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles