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