フィオナは聖霊となってしまってはいるが、人間の時と外見的な変化はない。髪色は栗色で後ろ髪を二つに分けて黄色の綿毛のような髪留めで束ねている。フリルのついたメイド服を着ており、鉄のミトンのような手甲とグリーブを身に着けている。聖霊になってから出会ったミルドレッドは、とても良くしてくれた為「お姉さま」と呼んで慕いメイドとして仕えており、「皆が一緒に暮らせる」といった様な趣旨の彼女の言葉をフィオナを人に戻す術を探していると受け止め城に来る来訪者を追っ払っている。メイド服に関しては、ミルドレッドに仕えるメイドの役割以外に「フリフリで可愛い」とたいへん気に入っている。明るく前向きな性格をしているが基本的に極度のドジであり、その所為での失敗が多い。
実家はかなりの上流階級で、メイドが何人もいるほど、裕福な家庭である。冴姫とはイギリス時代の親友同士で、フィオナが次元の歪みに落ちて行方不明になった事は冴姫にとってのトラウマになっている。
キャラクターの特徴.
全般的に動作が遅いが、リーチの長さと一撃の威力に優れる打撃系パワーキャラクターとなっている。巨大な剣を使うが、剣の部分にくらい判定がないのも特徴。さらに、成功のタイミングが極めて難しい三段技を持ち、成功すれば一発逆転という博打要素も内包している。
技の解説.
クリティカルハート.
契約アルカナ.
データフロー解析
あるプログラムのデータフロー解析を行う単純な方法は、制御フローグラフの各ノードについてデータフロー方程式を設定し、全体として安定した状態、すなわち不動点に到達するまで、それらの式を繰り返し計算していく。完了することを保証するためには、不動点データフロー解析に基づくデータフロー方程式が必要である。すなわち、各式のローカルな更新は単調である。この技法の基本はゲイリー・キルドールが海軍大学院で教えていたころに開発したものである。
繰り返しアルゴリズム.
データフロー方程式の不動点は「ラウンドロビン繰り返しアルゴリズム」を使って計算できる。
順序問題.