UMLステートマシン[編集] 統一モデリング言語(UML)には状態機械(ステートマシン)を記述するための豊富な意味論と記法がある。UMLの状態遷移図は従来の有限オートマトンの主な利点を踏襲しつつ、その欠点を克服している。大きな拡張としては、状態の階層化や直交状態の導入があり、動作の記法も拡張されている。ミーリ・マシンもムーア・マシンも記述できる。ミーリ・マシンのように状態だけでなく、イベント(入力)をきっかけとして遷移するようにも書けるし、ムーア・マシンのように遷移ではなく状態と開始動作や終了動作を対応付けることもできる。 SDLステートマシン[編集] 仕様及び記述言語(SDL) はITUの標準規格であり、遷移の際の以下のような動作を表す記号を定義している。 イベント送信 イベント受信 タイマ開始 タイマキャンセル 別の並行動作するステートマシンを開始 判断 SDLには、Abstract
(La)TeXのクラス † slides クラス(LaTeX 標準) seminar クラス Seminar (by Timothy van Zandt) foiltexクラス [LaTeX] foiltex --- オーバーヘッド用のLaTeX2εクラス slide オプション (pLaTeX2e 新ドキュメントクラス jsarticle.cls) LaTeX入門/スライドの作り方(jsarticle編) esmslideLTj(LuaTeX-ja + jlreqのA6判プレゼンテーションPDF作成パッケージ) Beamer powerdot The AcroTeX eDucation Bundle (旧 Web and Exerquiz Packages) The AcroTeX Presentation Bundle PDFscreen CTAN:help/Catalogue/ent
\documentclass[14pt,dvipdfm]{beamer} % pdfの栞の字化けを防ぐ % \AtBeginDvi{\special{pdf:tounicode EUC-UCS2}} % テーマ \usetheme{AnnArbor} % navi. symbolsは目立たないが,dvipdfmxを使うと機能しないので非表示に \setbeamertemplate{navigation symbols}{} \usepackage{graphicx} \usepackage{amsmath} \usepackage{amssymb} % フォントはお好みで \usepackage{txfonts} \mathversion{bold} \renewcommand{\familydefault}{\sfdefault} \renewcommand{\kanjifamilyd
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く