サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
やる気の出し方
www.wass80.xyz
こんばんは。 この記事はKMCアドベントカレンダー23日目の記事です。大遅刻です。 前日の記事はprimeさんの ビット演算マニアのためのAVX512入門 【KMCアドベントカレンダー 22日目】 - prime's diaryです 明日の記事はtetsutalowさんの 3つの事件で振り返る「何をやったらウイルス罪で捕まるか2017」 - Tetsu=TaLowの雑記(はてブロ版)です 本題 Ruby 2.5 の改善を自慢したい インターンの講義でお世話になった笹田さんの上の記事を読みました。 その記述を確かめながら小ネタにしようと思います。 次の素朴なコードのベンチマークを見てください。 require 'benchmark' Benchmark.bmbm 10 do |r| r.report "Normal" do 1000000.times { a = 0 b = 1 100.ti
TODO多めのまま公開します。別に書いてた下書きが消えたので。 定理証明のコンテストシステムを作って、今日の夕方に第1回のコンテストを開催していた。https://t.co/8vi0dWszRW— あしぃ (@asi1024) 2019年8月18日 これです。 定理証明コンテストとは, 定理証明支援系を用いて与えられた定理に対して証明を与えるコンテストです。 現在コンテストサイトに実装されている支援系はCoqです。 Coqで解く問題の見た目はこんなかんじです。 Definition task := forall n m, n * S m = n + n * m. Theorem solution: task. Proof. unfold task. (* FILL IN HERE *) Qed. これはn×(m+1)とn+(n×m)が任意の自然数n,mについて等しいことを示せというものです
このページを最初にブックマークしてみませんか?
『www.wass80.xyz』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く