Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
くわしく, こまかな・こと(さま)。
詳細化(しょうさいか、Refinement)とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。 詳細化の反対語は抽象化である。
(1)詳しく見ること。
『見栄を張る』(Eriko, Pretended)は、2016年の日本映画。藤村明世の長編初監督作品。主演は久保陽香。SKIPシティ国際Dシネマ映画祭2016の長編コンペティション部門にてSKIPシティアワードを受賞した。日本での劇場公開は2018年。 泣き屋を
けるけど、作るのは全然すんなりいかなかった」という。タイトルを「夢を見る人」にしたことについて「これは反対する人が多いかもしれないなって思ったの。あまりにも突飛なタイトルに聞こえるかな、と。でもね、とってもいいんですよ、“夢を見る人”って言葉。“夢を見続けることしかできないなら”っていうのは、もしか
桜を見る会 (さくらをみるかい)は、日本の内閣総理大臣が主催していた公的行事である。1952年(昭和27年)から2019年(平成31年)まで、例年ヤエザクラが見頃となる4月中旬頃に新宿御苑で開催されていた。 目的を「各界において功績、功労のあった方々を招き日頃の労苦を
細見駅(ほそみえき)は、かつて宮崎県延岡市細見町にあった高千穂鉄道高千穂線の駅である。2007年の高千穂線部分廃線に伴い廃止された。 1957年(昭和32年)2月1日:国有鉄道日ノ影線の駅として開業。 1987年(昭和62年)4月1日:国鉄分割民営化により九州旅客鉄道の駅となる。
細見村(ほそみむら)は、京都府天田郡にあった村。現在の福知山市三和町の南西部にあたる。 山岳:鹿倉山 河川:土師川 1889年(明治22年)4月1日 - 町村制の施行により、細見辻村・細見中出村・細見奥村・草山村・寺尾村・千束村・芦淵村の区域をもって発足。 1918年(大正7年) -