自然数の集合のチューリング次数と、一階述語論理を用いてその集合を定義する（算術的階層から見た）困難さの間には、密接な関係がある。そのような関係性を正確に示す一例がポストの定理である。より弱い関係性として、例えばクルト・ゲーデルが不完全性定理の証明の中で示した例がある。ゲーデルの証明は、実効的な一階理論の論理的結果の集合は帰納的可算集合を成すこと、そしてもしその理論が十分強いならこの集合は計算不可能になることを示している。同様に、タルスキの定義不可能性定理()は定義可能性と計算可能性の両方の言葉で解釈することができる。
名称問題.
学術団体.
自由勤務時間制
フレックスタイム制度
自由勤務時間制度
牧野宣成
生涯.
時差勤務
コアタイム
細川碧
来歴.
東京牛込に生まれる。「さるやんごとない方の落とし子」「さる帝(明治天皇ではない)のご落胤」（ごらくいん）であったとされる。
没後、多くの自筆譜は弟子の竹内昭一が預かったが、その後行方不明になっている。。
作品.
主な作品に以下のものがある。
関連資料.
発行年順
拘束時間帯
自由契約者
事績.
パパイヤ科
研究奨学生
研究奨学金
研究奨学生資格
ビオガーデン
生態観察園
熱の島
無障壁
段差なし
小沢武雄
経歴.
日本赤十字社副社長、上野鉄道（上信電鉄）初代社長を勤めた。
段差無し
意見公募
好井ひとみ
来歴・人物.
青山学院女子短期大学卒業。
昭和時代は、女優の吉岡ひとみ・有吉ひとみと混同されることが度々あった。
趣味：サッカー観戦・ビーチボール。特技：料理・ホームソーイング。
意見提出手続
略歴.
パブコメ
公募意見
意見募集
パブリックインボルブメント
シェアウェアだが非商用利用時・個人利用時のみフリー。
概要.
注意事項.
市民参画
道の駅うつのみや ろまんちっく村
概要.
施設.
飲食・物販.
出典
保養施設.
出典
アクセス.
自動車
公共交通機関（路線バス）
災害予測地図
特徴.
かなり早い時期に咲く植物である。三月から四月、他のスゲ類よりも早くに花が咲く。特に花茎先端の雄小穂は葯が多数突き出るが、これがやや黄色みが強く、細長くて大きく、黄色い房のように見え、小柄ながらも他のスゲ類よりよく目立つ。
分布と成育環境.