トップページ

建設中

このサイトでは、SATySFi のコード例を共有します。

SATySFi のインストール方法については SATySFi Wiki が参考になります。

※ SATySFi はまだ初期開発段階です。新しいバージョンでは組版できなかったり挙動が変わっていたりする可能性があります。各コード片についたバージョン情報をご確認ください。

ひな型

タイトル	内容
レポートのひな型	stdjareport を使ったコード例

数式

タイトル	内容
数式の基本的な使い方	数式ブロック、数式の並べ方
分数	分数、連分数
括弧	丸括弧、色々な形の括弧、集合、関数適用 f(x) の括弧

プログラミング用の構文

タイトル	内容
整数と浮動小数点数	TODO
文字列	TODO (doc-primitives.saty との差分)
関数定義	TODO
コマンド定義	TODO
関数適用	TODO (括弧の構文、省略記法、式引数)
オプショナル引数	ラベル無しオプショナル引数を持つ関数の定義と適用
代数的データ型	TODO
レコード	TODO
モジュール	モジュールの使い方、名前空間
シグネチャ	シグネチャの使い方とモジュール

ライブラリ開発者向けの情報

タイトル	内容
正規表現	正規表現関係のプリミティブ

ネタ的コード

タイトル	内容
Hello, World!	Hello World をするネタ的コード
Fizz buzz	Fizz buzz をするネタ的コード
99 Bottles of Beer	99 Bottles of Beer をするネタ的コード
曜日-of-日付	日付から曜日を計算するネタ的コード
kansuji-of-int	整数を一〇形式の漢数字にするネタ的コード
xkansuji-of-int	整数を上数形式の漢数字にするネタ的コード
円周率の計算	円周率を計算するネタ的コード

その他

タイトル	内容
典型的なエラー	典型的なエラーメッセージと、その解決法

ライセンス

"SATySFi My Soul" に含まれるコードたちは CC BY 3.0 Unported ライセンスの元で配布いたします。