SATySFi でイオニア式記数法 - Qiita
1,0000 から 9999,9999 まで 1万以上の数は、日本語や中国語の中数の「万」と同じく、$n\times 10^4 + m\ (n,m < 10^4)$ の様に表す。例えば、12,0003 は $\overset{ιβ}{M}γ'\ (ιβ=12,\ M=1,0000,\ γ=3)$ となる。 実装 https://github.com/na4zagin3/SATySFi-grcnum の実装の解説を行う。長いので、時間が有り余っている人以外は「比較」の節まで飛ばして欲しい。 ユーティリティー関数 % s が空文字列でない時のみ f を s に適用 let apply-non-empty f s = match s with | ` ` -> s | s -> f s % 10進数表記での桁毎の配列に変換 % >>> explode-into-digits 1 % [1] %
SATySFiに関すること - Qiita
この記事は2018年に投稿されたのち、2023年2月に更新を行いました。 はじめに SATySFiとは SATySFiとは、型による静的検証能力の高い組版システムです。 従来の組版システムであるLaTeXにはない特徴である可読性の高さと詳細なエラー報告機能を持つことを目指して作られています。 The SATySFibook（SATySFiのマニュアル）が無料で見ることができるようになりました。URLはここです。わからないところがあったらその箇所を読みましょう。 投げ銭もできます。紙とインクでできた方も欲しい方はここから買いましょう！ SATySFiの特徴 マークアップ言語 裏でTeXを使っていたりせずに自前でPDFファイルを出力してくれる PDFファイルだけではなく、HTMLファイルやTeXファイルを出力する機能もある 数式を表現することが非常に得意 エラーが表示されるタイミングが早く、わ
satysfi-grammar.md
SATySFi構文メモ (2018/02/23) SATySFiの字句解析器には主要なモードが4つある: プログラムモード 垂直モード 水平モード 数式モード またサブモードとして ヘッダモード アクティブモード リテラルモード コメントモード がある。 プログラムモード プログラムモードの字句は以下の通り(\sは[ \t\n\r]): /\s+/ 空白(無視) /%.*$/ コメント /@\w+:.*$/ ヘッダ指令 /\(\)/ ユニット /\(/ .. /\)/ 括弧 /\(\|/ .. /\|\)/ レコード /\[/ .. /\]/ リスト /;/ リスト区切り /\{/ .. /\}/ 水平モード /'</ .. />/ 垂直モード /\$\{/ .. /\}/ 数式モード /<\[/ .. /\]>/ パスのための括弧 /\.\./ パス曲線オペレータ /--/ パス直線オペ
チョット SATySFi で文書を作ってみた - マクロツイーター
SATySFi がはじまった というわけで、以前から話題になっていた、“LaTeX を置き換える”ことを目論む新しい組版システムである「SATySFi」が、昨日いよいよ正式に公開され、未踏事業成果報告会において“お披露目”となる発表が行われた。 SATySFi （GitHub:gfngfn） SATySFi チャレンジがはじまった これを受けて、ネット界隈では早速こういう事態に……。 で、自分はどうだったかというと……。 （↑コレはデモ文書ではなくマニュアルの文書です） SATySFi 大喜利がはじまった（はじまってない） インストールができてしばらく満足していたのであるが、せっかくスバラシイ組版ソフトウェアを手に入れたわけなので、何か文書をつくってみたい、と思い始めた。 というわけで、さっそく SATySFi で本質的な技術文書をつくってみた。 something.saty（Gist:z
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
