OpTeXという現代版plain TeX的なフォーマットがあることを知った。
OpTeXという現代版plain TeX的なフォーマットがあることを知った。
“OpTeX is a LuaTeX format based on Plain TeX macros (by Donald Knuth) and on OPmac macros. The main features are: OpTeX should be a modern plain TeX with power from OPmac (fonts selection system, colors, external graphics, references, hyperlinks...) with Unicode fonts.”
LuaTeX-jaはplain TeXとLaTeXを想定しているので、OpTeXに移植しないと日本語文書を書くのは難しいが、少なくともヨーロッパ系の多言語組版は難なくこなせそう。(開発者がチェコ語圏の人で、その辺りちゃんとしている)
「本書は、『日本語使用者』の句読点の使用実態を定量的に分析したものである。日本語母語話者と日本語学習者の使用傾向を比較・分析しており、どちらか一方のみを対象としてきた従来の研究とは一線を画す。その分析結果と提言は、理論的・体系的な指導が行われてきたとは言いがたい国語教育や日本語教育における句読点指導に変革をもたらしうる。また、日本語学、国語教育、日本語教育における句読点の研究について網羅的かつ体系的にまとめており、後続の研究に欠かせないものとなるであろう。」
現代日本語における句読点の研究: 研究概観と使用傾向の定量的分析
https://cocopb.com/books/978-4-86676-062-9/
チェコ語のメールを機械翻訳を通して読んでいたら「不和で連絡できない場合は……」みたいなフレーズが出てきてメインメンバーの人間関係でなんかあったのかなと心配したけれど、少し考えて「不和」はDiscordのことだとわかった。(原文ではdiscorduとなっていて頭文字は小文字だし格変化かなにかをしているので最初はチャットサービスのことだと思わなかった)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
OpTeX、すごく軽い。タイプセットが軽いというだけじゃなくて、書いていて軽快な感覚がある。plain TeX愛好家の気持ちが少しわかった。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
LaTeXを大抵の原稿がいくつもの外部パッケージを導入しているという意味でNode.jsに例えるなら、OpTeXは皆が使うような機能は最初から用意されているという意味でPythonに近い感じ。(まあ、Pythonも本格的なアプリケーション開発に使う場合はPyPIからたくさんパッケージを導入するけれど……)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
漸進的型付けの提唱者が書いた“What Is Gradual Typing”を読むとよいとされています
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Marc Feeleyというレジェンドが2021年になっても共著論文出してて「SchemeのVMを4KBにおさめる!このVMはCコードにもコンパイルできるしPythonコードにもコンパイルできるしJavaScriptにもコンパイルできるしシェルスクリプトにもコンパイルできる!この秘訣はバイトコードがグラフ構造になっていて……」とかやっててビビりますわね
詳しくは“A Small Scheme VM, Compiler, and REPL in 4K”で検索してください。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Refined Criteria for Gradual Typingとかそんな感じだった気がする
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
それってミュータビリティの問題でも型が付くタイミングでもなくシャドーイングの問題だと思う
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
年老いても元気な人々を指すオパール(older people with active lifestyles; OPALS)という略語があることを知った。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
あるよ、でもなんらかの理由で布団のシーツが破れたのでなんとかしないといけない
How Computers Make Books: From graphics rendering, search algorithms, and functional programming to indexing and typesetting
https://www.manning.com/books/how-computers-make-books
このアカウントは、notestockで公開設定になっていません。
Release Beta release 8 · raspberrypi/picamera2 · GitHub https://github.com/raspberrypi/picamera2/releases/tag/v0.3.9
> MJPEG server example added that uses the hardware MJPEG encoder.
オッッ!!?!?家帰ったら試さないと。メダカメラもやっとbullseyeにできるかもしれん
このアカウントは、notestockで公開設定になっていません。
Ruby で一番辛いの、型がないことよりも、scope check とか nil-able check がないことだしな
型があっても、そいつが静的解析として機能してなければただのゴミ (言葉を選べ) だし、まともな静的解析があれば型なんていらない
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
2,000万円/年、都心の巨大な私立大学ならもしかしたらもしかするかもね、いやどうだろうなぁという感じがする
そもそも、定年間際も何も教授になった時点で定年が割と近くに見えていても別に不思議ではない
国立大学が皆東京大学というわけではないし、私立大学が皆早慶というわけではないし、大学教授が皆ガリレオシリーズの湯川学というわけではない(その湯川学も教授になったのは40代に入ってからだけど)
この考えは分かるが分からないという感じがある。個人的には型は結局モデルによってかなり変わってくるし、その中でプログラムに実用的なモデルの型が選ばられてるというのが実情だと思っていて、その意味で普遍的な型はないんだと思っている
https://mstdn.maud.io/@karno/109953444524320783
Universal domain 検索性ゴミやな。まあ普通話題にせんか。その昔、「untype lambda の項に対して型ってどうなるんやろ?」と考えた人がいて、「なんかうまいモデルないかな?せや、λx.x と (λx.x) (λx.x) には型的な違いはないことにしよ。untyped lambda は uni-typed lambda や」で、モデルが上手く作れちゃった話があってなみたいな
このアカウントは、notestockで公開設定になっていません。
Rustで書かれたターミナルがどれもこれもGPUの活用を売りにしているのを見ると、まあGNU Emacsのpure GTKポートがGPUを活用しても不思議ではない
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Niceratusさんの手にペンを固定したまま左目と右目に別々の教本を高速で見せて流出量を上回る勢いで画力を注入するなどの非人道的実験が倫理委員会により凍結された
Fedistar 1.0.0リリースしました.ようやくアイコンできたよ.そしてAppStoreにも出てます.
https://pleroma.io/notice/ATBzXyhtdpuJM8ZW0O
#fedistar
このアカウントは、notestockで公開設定になっていません。
【大原雄介の半導体業界こぼれ話】8bit MCUの夕暮れ - PC Watch
https://pc.watch.impress.co.jp/docs/column/tidbit/1480997.html
> ……Atmelの「AVR8」コアは、元々はμRISCという名称でノルウェー工科大のAlf-Egil Bogen氏とVegard Wollan氏の2人の卒業論文の題材として開発されたものだ。これをAtmelに持ち込んだ結果、「Alf and Vegard's RISC」ということでAVRという名称が付いた。
そうだったのか
コンパイラの移植が大変という観点でいうとやはり(そのアーキの) GCC が活発にメンテされているというのはまあデカいな
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
絶対にキックすることがなくてもキックスタンドなんだろうか
https://pc.watch.impress.co.jp/docs/news/todays_sales/1482668.html
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Dafny 4.0.0 🎉 🎉 🎉 🎉
https://github.com/dafny-lang/dafny/releases/tag/v4.0.0
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
有名なほど投稿に必要なコストを大きくしたり1日の投稿回数を少なくしたり投稿の間隔を長くしたりすると、必然的にクールタイムが発生するので、迂闊発言ではちゃめちゃになったりカッとなって返事してはちゃめちゃになったりするのを防げてよさそう?
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。