わいせつ教員 免許再取得不可に 性被害訴える女性が文科省に提言：北海道新聞 どうしん電子版本サイト内に掲載の記事、写真などの一切の無断転載を禁じます。 ニュースの一部は共同通信などの配信を受けています。すべての著作権は北海道新聞社ならびにニュース配信元である通信社、情報提供者に帰属します。
【書評】Python実践入門
こんにちは、ぐぐりら(@guglilac)です。 技術評論社のPython実践入門を読んだので、まとめと感想を書きます。 [Python実践入門 ──言語の力を引き出し、開発効率を高める：書籍案内｜技術評論社](https://gihyo.jp/book/2020/978-4-297-11111-3) ## 経緯とか感想とか Pythonをしばらく書いてきて、改めて知識をさらっておきたいなと思って買いました。 よりPython上級者向けの本へ進む前の橋渡し的な立ち位置な気がします。 全体的に丁寧でわかりやすかったです。 想定読者としては、他の言語のプログラミング経験者でPythonに入門する人、というのが帯に書いてあるが、本当にそんな感じ。 言語の文法、環境構築、ライブラリの管理、テスト、と満遍なく書いてあります。 帯に書いてあるとおり、確かに一つ目の言語がPythonで、この本から入った
Ractorで複数のオブジェクトを渡せるようにしてみた - Qiita
r = Ractor.new do v1, v2 = Ractor.recv puts v1 puts v2 puts v1.class puts v2.class end r.send(1, 2) r.take # => 1 # => 2 # => Integer # => Integer Ractorって？ Ruby3で導入される並行・並列機能を提供するしくみです。 元々はGuildという名前で数年前から議論されてきたものです。 詳しい話は下記の動画を参照して頂ければと思います。 [JA] Ractor report / Koichi Sasada @ko1 Ractorへオブジェクトを渡す sendメソッドを使ってRactorへとオブジェクトを渡すことができます。 r = Ractor.new do v = Ractor.recv puts v puts v.class end r.
Generative Language Modeling for Automated Theorem Proving
We explore the application of transformer-based language models to automated theorem proving. This work is motivated by the possibility that a major limitation of automated theorem provers compared to humans -- the generation of original mathematical terms -- might be addressable via generation from language models. We present an automated prover and proof assistant, GPT-f, for the Metamath formal
Emacs の起動時間を”“詰める””
Author: zk-phi Published: 2020-09-07 Last Modified: 2020-09-07 GitHub Source: md Emacs はプラグインを増やしていくと起動に何秒もかかって重い、という話をみることがあります。 しかし、考えてみれば Emacs には 1000 以上の Emacs Lisp ファイルが初めから同梱されているわけで、そこに数十のプラグインを足しただけで爆裂に遅くなるのは、なにか設定にも問題がある気がします。 この記事では、 Emacs の起動時間を詰めるために今までに試してきた、小技や大技たちを紹介します。 自分用にメンテしているフレームワーク setup.el で活用しているテクニックが主なので、そちらを試してみて欲しい気持ちもありますが、それぞれの Tips 単体でも価値があると思うので記事にもまとめてみることにしました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
@ybiquitous
「わざとカタカナ発音にしてた」中高生が英語の発音をレベルアップしようとする際、最大の障壁は“周囲の目”ではないか「学校のレベルによって変わる」