moebiusT7/mmv-wiki-index-ja huggingface dataset:
Id Software Id Software マイクロソフト  > ゼニマックス・メディア  > イド・ソフトウェア Xbox  > Xbox Game Studios  > Id Software イド・ソフトウェア 現地語社名 id Software LLC 以前の社名 id Software, Inc. (1991–2009) 種類 子会社 業種 コンピュータゲーム 前身 Ideas from the Deep 設立 アメリカ合衆国 ルイジアナ州 シュリーブポート （ 1991年2月1日  ( 1991-02-01 ) ） 創業者 エイドリアン・カーマック ジョン・カーマック トム・ホール ジョン・ロメロ 本社 アメリカ合衆国 テキサス州 リチャードソン 主要人物 ロバート・ダッフィー ( CTO ) マーティ・ストラットン (スタジオディレクター) 製品 Wolfenstein (1992–2008) Doom (1993–現在) Quake (1996–現在) Rage (2011–現在) 従業員数 200人以上 (2012) 親会社 ゼニマックス・メディア (2009–現在) 部門 id Software Frankfurt ウェブサイト idsoftware.com id Software LLC （イド・ソフトウェア）は、 テキサス州 リチャードソン に拠点を置く アメリカ の コンピュータゲーム 開発会社。同社は1991年2月1日にコンピュータ会社「Softdisk」の4人のメンバー（プログラマーの ジョン・カーマック と ジョン・ロメロ 、 ゲームデザイナー の トム・ホール 、アーティストの エイドリアン・カーマック ）によって設立された。代表作に『Commander Keen』『 Doom 』『 Quake 』がある。 2007年6月11日（米国時間） Apple の主催する Macintosh 向けソフトウェア開発者のカンファレンス WWDC 2007（Worldwide Developers Conference 2007）にて、新世代ゲームエンジン id TECH5 を発表した。 毎年のように「 QuakeCon 」で新規プロジェクトを発表しており、2007年には3つの大型プロジェクトに加え、steamにてWolfenstein 3D、DOOM、Quake（1～3）など旧作に絞ったラインナップで販売を開始する。 2009年6月24日にゼニマックス・メディアが同社を買収、買収金額は未公開。 2011年に発売された『Rage』では、2008年時点では エレクトロニック・アーツ から発売されるとしていたが、2009年の ゼニマックス・メディア による買収を受け ベセスダ・ソフトワークス 発売に変更された。また、それ以前のすべてのゲームもベセスダ・ソフトワークス販売に変更された。 ^ https://www.youtube.com/watch?v=aCOklD_PVLo ^ “ QuakeCon 2011 Carmack's Keynote ”. youtube (2011年8月5日). 2011年11月25日時点のオリジナルより アーカイブ 。2011年8月6日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless ot
youtube.com/watch?v=aCOklD_PVLo ^ “ QuakeCon 2011 Carmack's Keynote ”. youtube (2011年8月5日). 2011年11月25日時点のオリジナルより アーカイブ 。2011年8月6日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Id TECH5 id TECH5 id TECH5 は、 2007年 6月11日 （米国時間）に アメリカ のゲーム開発会社 id Software が、 WWDC 2007にて公表した3D ゲームエンジン の名称である。 同社としては、第5世代目のゲームエンジンとなる。ターゲットプラットフォームは、 Windows PC 、 Xbox 360 、 プレイステーション3 、 Mac OS X となっており、従来、Windows向けPCゲームのみをターゲットとしてきた同社としては大きな方向転換となる。 2011年にリリースされた Rage に採用された。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Id Tech 7 id Tech 7 id Tech 7 開発元 idソフトウェア （英語） プログラミング 言語 C++ プラットフォーム Microsoft Windows , PlayStation 4 , Xbox One , Nintendo Switch 種別 ゲームエンジン ライセンス プロプライエタリソフトウェア 公式サイト idsoftware .com id Tech 7 はid Softwareidが開発した クロスプラットフォーム の プロプライエタリソフトウェア の ゲームエンジン で、 id Tech シリーズとしては id Tech 6 の後継に当たる。 QuakeCon にて、同社が開発する『 Doom Eternal 』の製品発表の場で始めて実演された。 ^ ^ Machkovech 2018 . ^ Birch 2018 . ^ Papadopoulos 2018 . This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idea Idea 「Idea」 eufonius の シングル 初出アルバム『 metafysik 』 リリース 2005年 11月2日 ジャンル アニメソング 時間 4分33秒 レーベル ランティス 作詞 riya 作曲 菊地創 チャート最高順位 94位（ オリコン ） eufonius シングル 年表 ちいさなうた （2005年） Idea （2005年） 恋するココロ （ 2006年 ） 『 metafysik 』 収録曲 resonanz （6） Idea （7） wish （8） 「 Idea 」（イデア）は、日本の 音楽ユニット ・ eufonius による楽曲。シングルの形態で 2005年 11月2日 に ランティス より発売された。eufoniusにとって通算4枚目の シングル で、メジャーでのシングルとしては 2004年 発売の『 はばたく未来 』以来2枚目のシングルとなった。 表題曲「Idea」は テレビアニメ 『 ノエイン もうひとりの君へ 』の オープニングテーマ である。TV sizeバージョンは、『TVアニメ「ノエイン」オリジナルサウンドトラック Vol.2』に収録されている。 ^ ^ a b ^ ^ This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
IdeaPad IdeaPad IdeaPad IdeaPad S12 開発元 レノボ 種別 ノートパソコン 発売日 2008年 1月（S10は10月） IdeaPad （アイデアパッド）とは、 レノボ 社が製造・販売する、消費者向けの ノートパソコン のシリーズである。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Ideal peco ideal peco ideal peco 出身地 日本 ジャンル J-POP 活動期間 2023年9月 - レーベル iCON DOLL RECORDS 事務所 iDL 共同作業者 石橋哲也 高森ありさ 公式サイト idealpeco .com メンバー 近石日奈 菅谷夏子 白星あいり 綾瀬ねね 早海美玖 吉橋亜理砂 旧メンバー 夏目綾 ideal peco YouTube チャンネル ideal peco 活動期間 2023年 5月2日 - ジャンル 音楽 登録者数 3,110人 総再生回数 1,236,385回 チャンネル登録者数・総再生回数は 000000002025-11-11-0000 2025年11月11日 時点。 ideal peco （アイディール・ペコ）は、 2023年 に 結成 された 日本 の6人組 女性アイドルグループ である。株式会社iDLがプロデュースし、「All for ideal ～すべては理想のために～」をコンセプトに活動している。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Ideal white ideal white 「ideal white」 綾野ましろ の シングル 初出アルバム『WHITE PLACE』 B面 pledge of stars 燐光 リリース 2014年 10月22日 :CD 2016年 10月4日 :配信 規格 マキシシングル ジャンル J-POP アニメソング 時間 22分39秒（初回生産限定盤） 15分38秒（期間生産限定） 18分19秒（通常盤） レーベル アリオラジャパン 作詞・作曲 meg rock Carlos K. Toshi-Fj プロデュース 安田史生 ゴールドディスク ゴールド（有料音楽配信、 日本レコード協会 ） チャート最高順位 週間14位 （ オリコン シングルチャート） 2014年度年間348位 （オリコン） 登場回数13回 （オリコン） 綾野ましろ シングル 年表 ideal white （2014年） vanilla sky （2015年） ミュージックビデオ ideal white - YouTube 『 WHITE PLACE 』 収録曲 white arise 〜overture〜 （1） ideal white （2） スパイラルガーデン （3） 映像外部リンク 『ideal white』 Live 20161103 LIQUIDROOM 『 ideal white 』（アイディール・ホワイト）は、 綾野ましろ の1枚目の シングル 。 2014年 10月22日 に アリオラジャパン より発売された。 ^ RIAJ 2017年6月度 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idecs Hyper Groove Idecs Hyper Groove Idecs Hyper Groove とは、Idecs Music Softwareが販売する MIDIデータ 素材集。 現在は全て 廃盤 となっている。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idemitsu Art Award Idemitsu Art Award Idemitsu Art Award （いでみつアートアワード）は、 出光興産 が主催する平面作品の公募展。経営統合した 昭和シェル石油 の シェル美術賞 （シェルびじゅつしょう）を引き継ぎ改称したものである。本記事では前身となる公募展を含めて記述する。 平面作品の新しい可能性、表現を担う若手作家を発掘することを目的として 1956年 （ 昭和 31年）に シェル美術賞 (初代)として発足。現代的な表現の作品が高い評価を得るとされる。 1981年 （昭和56年）で一旦応募停止するものの、 昭和シェル現代美術賞 （ 1996年 （ 平成 8年） - 2001年 （平成13年））を経て、 2003年 （平成15年）に シェル美術賞 (2代)として再開した。 2019年 （平成31年）4月の経営統合以後も名称が改称されていなかったが、 2022年 （令和4年） 4月1日 より現名称に改称され、現在に至る。 ^ 「シェル美術賞」を「Idemitsu Art Award」に改称 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Identi.ca identi.ca identi.ca URL 公式ウェブサイト 言語 アラビア語 , バスク語 , ブルガリア語 , カタロニア語 , チェコ語 , ドイツ語 , ギリシャ語 , 英語 ( 米国 , 英国 ), エスペラント語 , スペイン語 , フランス語 , ヘブライ語 , イタリア語 , マケドニア語 , ノルウェー語 , オランダ語 , ペルシャ語 , ポーランド語 , ポルトガル語 , ブラジル語 , ロシア語 , スウェーデン語 , テルグ語 , トルコ語 , ウクライナ語 , ベトナム語 , 中国語 ( 簡体字 , 繁體字 ) タイプ コミュニティサイト 運営者 StatusNet, Inc. 登録 必要 開始 2008年6月2日  ( 2008-06-02 ) ライセンス GNU Affero General Public License identi.ca とは、140文字までのつぶやきを投稿できる オープンソース の ソーシャル・ネットワーキング・サービス 及び マイクロブログ サービスである。 Twitterに似ているが、投票機能やグループなど、Twitterには実装されていないものも多い。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Identified Identified 「Identified」 Springs の シングル A面 Identified B面 Kira☆Kira☆Revolution リリース 2003年 9月3日 規格 マキシシングル ジャンル J-POP 、 アニメソング レーベル 東芝EMI 作詞・作曲 渡辺美佳 （作詞） 池田智宣（作曲） TATOO （編曲） Springs シングル 年表 Raspberry Dream （2003年） Identified （2003年） 「 Identified 」（アイデンティファイド）は、 Springs の4枚目の シングル 。 CCCD 仕様。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
IdentityV 第五人格 IdentityV 第五人格 IdentityV 第五人格 ジャンル 非対称型対戦 サバイバルホラーゲーム 対応機種 iOS Android 開発元 Joker Stdio 発売元 NetEase Games 人数 ランク戦モード（通常ランク戦､5人ランク戦） マルチ戦モード 混沌なる紛争協力狩り（2vs8）､Blackjack､タロット､悪夢の影､狂想の息､隠れん坊､コピーキャットゲーム（8人､10人､12人） ペン先の空想（オリジナルモード） カスタム対戦モード＜正常モード､訓練モード（シングル・デュオ）､試合モード､混沌なる紛争カスタム＞ 発売日 [iOS]   2018年 7月5日 [Android]   2018年 7月11日 [Windows]   2018年 11月9日 『 IdentityV 第五人格 』（アイデンティティファイブ だいごじんかく）は、Joker Stdio制作､ 中国 の NetEase Games が運営する 基本プレイ無料 の非対称対戦ゲーム。アプリ内 アイテム課金 が存在する。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Identity (イヤホンズのアルバム) identity (イヤホンズのアルバム) 『 identity 』 イヤホンズ の EP リリース 2021年 9月22日 2022年 1月28日 (360 Reality Audio版) ジャンル J-POP レーベル EVIL LINE RECORDS チャート最高順位 9位（オリコン） ミュージックビデオ 「それが声優! 2021」Music Trailer - YouTube 「はじめまして」 - YouTube 『identity』収録の シングル 「はじめまして」 リリース: 2021年8月20日 『 identity 』（アイデンティティ）は、 イヤホンズ の コンセプトEP 。 2021年 9月22日 に EVIL LINE RECORDS より発売。 ^ 配信限定シングル。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Identity (今井絵理子の曲) Identity (今井絵理子の曲) 「identity」 今井絵理子 の シングル 初出アルバム『My Place』 B面 free soul place in the sun リリース 2001年 3月7日 ジャンル J-POP レーベル トイズファクトリー 作詞・作曲 葉山拓亮 チャート最高順位 6位（ オリコン ） 今井絵理子 シングル 年表 in the Name of Love （2000年） identity （2001年） Set Me Free! （2001年） identity （アイデンティティ）は、日本の女性 歌手 、 今井絵理子 の4枚目の シングル 。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Identity (山本彩のアルバム) identity (山本彩のアルバム) 『identity』 山本彩 の スタジオ・アルバム リリース 2017年 10月4日 ジャンル J-POP 時間 56分41秒 レーベル laugh out loud! records プロデュース 秋元康 （総合プロデュース） 亀田誠治 （サウンドプロデュース） 剱持嘉一 チャート最高順位 週間2位（Billboard JAPAN Hot Albums） 週間2位（Billboard JAPAN Top Albums Sales） 週間2位（ オリコン ） 週間5位（ オリコンデジタル ） 山本彩 アルバム 年表 Rainbow （2016年） identity （2017年） α （2019年） 『 identity 』（アイデンティティー）は、 日本 の女性歌手・ 山本彩 の2作目の アルバム 。 2017年 10月4日 に よしもとミュージックエンタテインメント （laugh out loud! records）より発売された。 ^ “【ビルボード】Hi-STANDARD『THE GIFT』が総合アルバム首位 CDセールスとルックアップで2冠” . Billboard JAPAN (阪神コンテンツリンク, プランテック, Prometheus Global Media). (2017年10月11日) . https://www.billboard-japan.com/d_news/detail/56290/2 2017年10月11日閲覧。   ^ “ Billboard Japan Top Albums Sales 2017/10/16 付け ”. Billboard JAPAN . 阪神コンテンツリンク, プランテック, Prometheus Global Media. 2017年10月11日閲覧。 ^ “10/16付週間アルバムランキング1位はHi-STANDARDの『The Gift』” . ORICON NEWS (oricon ME). (2017年10月11日) . https://www.oricon.co.jp/news/2098756/full/ 2017年10月11日閲覧。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Ideographic Research Group Ideographic Research Group Ideographic Research Group （ IRG 、旧名： Ideographic Rapporteur Group ）は、 Unicode と ISO/IEC 10646 （国際符号化文字集合）文字コード標準のレパートリへの 漢字 の追加と 漢字統合 について、ISO/IEC JTC 1/SC 2/WG 2（ 国際標準化機構 及び 国際電気標準会議 第一合同技術委員会 第二小委員会 第二ワーキンググループ）に勧告するWG 2の下部組織である。前身は CJK-JRG (China, Japan, Korea Joint Research Group)。 IRGの作業メンバーは参加国から任命されたか、あるいは他の国から招待された専門家である。参加国・地域・組織には 中国 、 台湾 、 香港 、 マカオ 、 日本 、 韓国 、 北朝鮮 、 シンガポール 、 ベトナム 、 アメリカ および ユニコードコンソーシアム が含まれる。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idiot Pop Idiot Pop Idiot Pop （イディオットポップ）は、 日本 の テクノポップ ミュージシャン 、 作曲家 、 編曲家 、 音楽プロデューサー 。本名、 フチガミコウスケ 。「 Kosuke Fuchigami 」名義でも、活動している。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idntt idntt idntt 出身地 韓国 ジャンル K-POP 活動期間 2025年 - レーベル カカオエンターテインメント 事務所 MODHAUS 共同作業者 チョン・ビョンギ 公式サイト 公式サイト メンバー #メンバー 参照 idntt 各種表記 ハングル ： 아이덴티티 発音： アイデンティティ 日本語 読み： アイデンティティ ローマ字 ： idntt idntt （アイデンティティ、 朝 : 아이덴티티 ）は、 韓国 の24人組 ボーイズグループ 。 MODHAUS 所属。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idol (ペトロールズのシングル) Idol (ペトロールズのシングル) 「Idol」 ペトロールズ の シングル A面 ホロウェイ 闖入者 リリース 2010年 11月26日 録音 2010年 ジャンル J-POP 時間 18分40秒 レーベル enndisc プロデュース ペトロールズ ペトロールズ シングル 年表 amber (2008年) Idol (2010年) capture 419 (2012年) 『 Idol 』（アイドル）は、 ペトロールズ の シングル 。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idol fancy idol fancy 「idol fancy」 capsule の シングル 初出アルバム『 phony phonic 』 リリース 2003年 9月17日 規格 12インチシングル盤（ レコード ） ジャンル エレクトロ レーベル contemode （ ヤマハミュージックコミュニケーションズ ） プロデュース 中田ヤスタカ capsule シングル 年表 candy cutie （2003年） idol fancy （2003年） レトロメモリー （2004年） 『 idol fancy 』（アイドル・ファンシー）は、 2003年 9月17日 に contemode より発売された capsule の2枚目の数量限定アナログ12インチシングルである（品番：YCAW-00002）。 ^ “ アナログ盤 idol fancy | capsule | ヤマハミュージックコミュニケーションズ公式サイト ”. ヤマハミュージックコミュニケーションズ | YAMAHA MUSIC COMMUNICATIONS CO., LTD. . 2021年12月7日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idom idom idom 別名 idm 生誕 ( 1998-03-18 ) 1998年 3月18日 （27歳） 出身地 日本 ・ 兵庫県 ジャンル J-POP 職業 シンガーソングライター 担当楽器 ボーカル 活動期間 2020年 - レーベル SME Records （2022年 - ） 公式サイト idom OFFICIAL WEB SITE idom YouTube チャンネル idom ジャンル 音楽 登録者数 2.75万人 総再生回数 13,593,093 回 チャンネル登録者数・総再生回数は 000000002024-03-13-0000 2024年3月13日 時点。 idom （イドム、 1998年 〈 平成 10年〉 3月18日 - ）は、 日本 の シンガーソングライター 。 兵庫県 神戸市 生まれ。所属レーベルは SME Records 。身長184cm。元はidmであったが現在はidomの表記で活動している。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idpw Idpw Idpw （アイパス）は、「 インターネット が降臨する場を創出する」というテーマで活動している、日本のアーティスト集団。団体の名称は、「IDとPW（パスワード）さえあればいつでもアクセス可能」という点に由来する。 「100年前から続く、インターネット上の 秘密結社 」というコンセプトを持つ。発足した（彼らの表現では「活動が表面化した」）のは2012年頃で、「何かおもしろいことがやりたい」というのがその動機であった。より具体的には、すでに存在したアートユニットである エキソニモ のメンバー2人が2011年に 福岡市 に転居し、地元で「福岡アーバンコミュニティオブアート」（FUCA）を企図していた不動産業者と懇意になったことがきっかけで、エキソニモが発起人となり、FUCAのオープンと同時に2012年4月に発足した。発足時のメンバーは15人である。 活動拠点は前記のFUCAや東京・渋谷があるが、参加者は日本全国にいるため、活動の「本拠地」はネット空間上であるとメンバーは述べている。また集団の特徴として「誰が参加しているかわからない」という匿名性を挙げており、それによって「自分の名前とか気にせず好きなこと出来る」と述べている。「秘密結社」という自称はこの点に由来している。 主な取り組みに「インターネットヤミ市」「どうでもいいね！ボタン」「テキストパーティ」などがある。 また、「どうでもいいね！ボタン」は2012年の第16回 文化庁メディア芸術祭 エンターテインメント部門において新人賞を受賞した。 またIDPWの活動に関するショートドキュメンタリー「Back streets of the Internet」が、W+K東京LABの制作によって2013年10月に公開されており、ここで実際に各メンバーのインタビューやイベントの様子をみることもできる。 ^ a b c 福岡IDPW レポート - CBCNET（2012年5月30日） ^ a b c d e f 100年前から続くインターネット上の秘密結社IDPWとは!? 「どうでもいいね！」「インターネットヤミ市」など、謎に包まれた活動に迫る！ - white-screen.jp（2013年6月7日） ^ 一般的に100年前にはインターネットはないとされているが、彼らのプロフィールの中ではそのように表現されている。 ^ Idpwが文化庁メディア芸術際で新人賞を受賞 - FUCAウェブサイト ^ ネットワークが降臨する場、『IDPW』福岡で始動 - CBNET（2012年4月27日） ^ 新人賞 - どうでもいいね！ | 受賞作品 | エンターテインメント部門 | 第16回 2012年 | 文化庁メディア芸術祭 歴代受賞作品 ^ Back streets of the Internet - YouTube This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idris (プログラミング言語) Idris (プログラミング言語) Idris パラダイム 関数型 登場時期 2007年  ( 2007 ) 設計者 Edwin Brady 最新リリース 1.3.4/ 2021年10月22日  ( 2021-10-22 ) 評価版リリース 0.6.0 (Idris 2) / 2022年10月28日  ( 2022-10-28 ) 影響を受けた言語 Agda , Clean , Coq , Epigram, F# , Haskell , ML , Rust プラットフォーム Cross-platform ライセンス BSD ウェブサイト idris-lang .org 拡張子 .idr, .lidr Idris は 依存型 やオプショナルな 遅延評価 、全域性チェッカーを特徴とする純粋 関数型 プログラミング言語 である。Idrisは 証明アシスタント としても使われるが、 Haskell のように 汎用プログラミング言語 として設計されている。 Idrisの 型システム は Agda に、証明は Coq に似ていて、elaboratorリフレクションによるタクティクスを含む。 Agda や Coq と比べ、Idrisは 副作用 管理と 内部ドメイン固有言語 のサポート重点を置いている。 Idrisは C言語 ( Cheneyのアルゴリズム を使ったコピー ガベージコレクタ に依存) と JavaScript (ブラウザーと Node.js の両方) にコンパイルされる。 JVM や、 CIL 、 LLVM を含む他のプラットフォーム用のコード生成器もある。 ^ Brady, Edwin (2007年12月12日). “ Index of /~eb/darcs/Idris ”. University of St Andrews School of Computer Science . 2008年3月20日時点の オリジナル よりアーカイブ。2023年5月14日閲覧。 ^ “ Release 1.3.4 ”. 2022年12月31日閲覧。 ^ “ Idris 2 version 0.6.0 Released ”. www.idris-lang.org . 2022年12月31日閲覧。 ^ a b “ Uniqueness Types ”. Idris 1.3.1 Documentation . 2019年9月26日閲覧。 ^ a b c “ Idris, a language with dependent types ”. 2014年10月26日閲覧。 ^ “ Elaborator Reflection — Idris 1.3.2 documentation ”. 2020年4月27日閲覧。 ^ “ Code Generation Targets — Idris Latest documentation ”. docs.idris-lang.org . 2023年5月14日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Idタンパク質 Idタンパク質 Idタンパク質 （アイディータンパクしつ、 英 : inhibitor of DNA-binding/differentiation proteins, ID proteins ）は、 塩基性ヘリックスループヘリックス （bHLH）型 転写因子 とヘテロ二量体を形成し、bHLH転写因子の DNA 結合を阻害する タンパク質 からなる ファミリー である。Idタンパク質にはHLH型二量体化ドメインは存在するが、塩基性DNA結合ドメインを欠いており、そのためbHLH転写因子とヘテロ二量体化することで転写因子のDNA結合が阻害される。 同定された最初のヘリックスループヘリックス型タンパク質は、 Eボックス 配列に結合することからEタンパク質（E proteins）と命名された。Eタンパク質はbHLHファミリーの中でもクラスIに分類されるもので、クラスIIのbHLHタンパク質と二量体を形成して転写を調節する。正常な発生過程では、Eタンパク質は他のbHLH転写因子と二量体を形成し、転写を駆動する。Idタンパク質は 胚性幹細胞 に高度に発現しているが、分化した成体細胞では発現していない。しかしながら、Idタンパク質は多くの種類のがんで過剰発現していることが示唆されている。がん細胞ではIdタンパク質がEタンパク質に結合することで転写因子との二量体形成が妨げられ、これらによって駆動されていた転写は不活性となる。 ヒトでは、 ID1 、 ID2 、 ID3 、 ID4 の4種類のIdタンパク質が存在している。ショウジョウバエではIdタンパク質のホモログはEmc（Extramacrochaetae）と呼ばれ、細胞増殖、中腸などの器官の形成、翅の発生を調節している。Idタンパク質はがん細胞で過剰発現している一方で分化した成体細胞では発現していないため、がんの全身療法において大部分の正常細胞の機能を阻害することなく作用する治療標的としての可能性がある。Idタンパク質が過剰発現しているがんとしては、ID1は 膵がん 、 乳がん 、 前立腺がん で過剰発現しており、ID2は 神経芽腫 、 ユーイング肉腫 、 頭頸部扁平上皮がん でアップレギュレーションされていることが示されている。 ^ a b Perk J, Iavarone A, Benezra R (August 2005). “Id family of helix-loop-helix proteins in cancer”. Nature Reviews. Cancer 5 (8): 603–14. doi : 10.1038/nrc1673 . PMID   16034366 .   ^ Pagliuca A, Bartoli PC, Saccone S, Della Valle G, Lania L (May 1995). “Molecular cloning of ID4, a novel dominant negative helix-loop-helix human gene on chromosome 6p21.3-p22”. Genomics 27 (1): 200–3. doi : 10.1006/geno.1995.1026 . PMID   7665172 .   ^ Wang LH, Baker NE (2015). “E Proteins and ID Proteins: Helix-Loop-Helix Partners in Development and Disease” . Dev
helix-loop-helix human gene on chromosome 6p21.3-p22”. Genomics 27 (1): 200–3. doi : 10.1006/geno.1995.1026 . PMID   7665172 .   ^ Wang LH, Baker NE (2015). “E Proteins and ID Proteins: Helix-Loop-Helix Partners in Development and Disease” . Dev Cell 35 (3): 269–80. doi : 10.1016/j.devcel.2015.10.019 . PMC   4684411 . PMID   26555048 . https://pmc.ncbi.nlm.nih.gov/articles/PMC4684411/ .   ^ Kondo M, Cubillo E, Tobiume K, Shirakihara T, Fukuda N, Suzuki H, Shimizu K, Takehara K, Cano A, Saitoh M, Miyazono K (October 2004). “A role for Id in the regulation of TGF-beta-induced epithelial-mesenchymal transdifferentiation”. Cell Death and Differentiation 11 (10): 1092–101. doi : 10.1038/sj.cdd.4401467 . hdl : 2297/15884 . PMID   15181457 .   ^ a b c Fong S, Debs RJ, Desprez PY (August 2004). “Id genes and proteins as promising targets in cancer therapy”. Trends in Molecular Medicine 10 (8): 387–92. doi : 10.1016/j.molmed.2004.06.008 . PMID   15310459 .   ^ Brody T B (1998年). “ The interactive fly: Extra macrochaetae ”. 2025年12月6日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
Id［イド］ -Rebirth Session- id［イド］ -Rebirth Session- id［イド］ -Rebirth Session- ジャンル アドベンチャー 対応機種 Windows 2000 / XP / Vista PlayStation Vita 発売元 [PC]root nuko [PS Vita] エンターグラム 発売日 [PC] 2010年 1月29日 [PS Vita] 2016年 11月24日 レイティング [PC] ソフ倫 ：18歳未満販売禁止 [PS Vita] CERO ： D （17才以上対象） キャラクター名設定 不可 ゲームエンジン [PC] 吉里吉里2 /KAG3 メディア [PC] DVD-ROM 1枚 [PS Vita]PS Vitaカード 画面サイズ 800×600 BGMフォーマット PCM キャラクターボイス 主人公以外 CGモード あり 回想モード あり メッセージスキップ あり オートモード あり 『 id［イド］ -Rebirth Session- 』（イド リバース セッション）は、root nukoより 2010年 1月29日 に発売された 18禁 アドベンチャーゲーム 。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
If... (DA PUMPの曲) if... (DA PUMPの曲) DA PUMP  > if... 「if…」 DA PUMP の シングル 初出アルバム『 Da Best of Da Pump 』 B面 Chocochip Cookie & Black Coffee Missin’ You リリース 2000年 9月27日 規格 マキシシングル ジャンル J-POP 時間 3分38秒 レーベル avex tune 作詞・作曲 m.c.A・T プロデュース 富樫明生 ゴールドディスク プラチナ（シングルトラック、 日本レコード協会 ) ゴールド( 着うたフル 、日本レコード協会) チャート最高順位 週間11位（ オリコン ） 登場回数22回（オリコン） 2000年度年間130位（オリコン） 2001年度年間123位（オリコン） DA PUMP シングル 年表 Com'on! Be My Girl! （2000年） if… （2000年） Purple The Orion （2001年） ミュージックビデオ 「if…」 - YouTube EANコード EAN   4515793300283 (AVCT-30028) 『 if… 』（イフ）は、 DA PUMP の12枚目の シングル 。 2000年 9月27日 発売。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
If800 if800 if800 は、 沖電気工業 が1980年（昭和55年）から製造・販売していた パーソナルコンピュータ のシリーズ。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
If (CHAGE and ASKAの曲) if (CHAGE and ASKAの曲) CHAGE and ASKA  > if 「if」 CHAGE&ASKA の シングル 初出アルバム『 GUYS 』 B面 CRIMSON リリース 1992年 7月1日 規格 8cmCD カセットテープ デジタル・ダウンロード ジャンル ポップ 時間 5分33秒 レーベル ポニーキャニオン AARD-VARK 作詞・作曲 飛鳥涼 （#1） CHAGE （#2） プロデュース CHAGE&ASKA GO YAMAZATO ゴールドディスク ダブル・プラチナ（ 日本レコード協会 ） チャート最高順位 オリコン 週間1位（2週連続） 1992年7月度月間1位 1992年8月度月間4位 1992年度年間8位 CHAGE&ASKA シングル 年表 WALK ・ LOVE SONG （1992年） if （1992年） no no darlin' （1992年） ミュージックビデオ 「if」 - YouTube 「 if 」（イフ）は、 CHAGE&ASKA （現：CHAGE and ASKA）の楽曲。自身の29作目の シングル として、 ポニーキャニオン から 1992年 7月1日 に発売された。 ^ 日本レコード協会 認定作品 1992年8月度認定作品 の閲覧。2018年1月2日閲覧 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
If (GENICのアルバム) if (GENICのアルバム) 『 if （ イフ ） 』 GENIC の スタジオ・アルバム リリース 2025年 2月5日 ジャンル J-POP 時間 48分19秒 レーベル avex trax チャート最高順位 週間3位 （ オリコン ） 週間3位 （Billboard JAPAN Top Albums Sales） GENIC アルバム 年表 N_G （2024年） if （2025年） CIRCLE -BEST of GENIC- （2025年） 『if』収録の シングル 「 LifE!! 」 リリース: 2024年7月31日 「 Sorry not sorry 」 リリース: 2024年8月21日 「 FUN! FUN! FUN! 」 リリース: 2024年10月30日 「 IT'S SHOWTIME 」 リリース: 2025年1月15日 『 if 』（イフ）は、 2025年 2月5日 に avex trax よりリリースされた GENIC の4枚目の オリジナル・アルバム 。 初回生産限定盤A、初回生産限定盤B 、通常盤、オンライン個別トーク会付き通常盤の4形態で発売された。 ^ a b “ GENIC/if ”. tower.jp . 2025年2月14日閲覧。 ^ “4th Album『if』収録楽曲「IT’S SHOWTIME」ドラマ主題歌決定！ & Album収録楽曲決定！” . GENIC . (2024年12月18日) . https://avex.jp/genic/news/detail.php?id=1121641 2024年12月18日閲覧。   ^ “ GENIC/if ＜初回生産限定盤A＞ ”. tower.jp . 2024年12月19日閲覧。 ^ “ GENIC/if ＜初回生産限定盤B＞ ”. tower.jp . 2024年12月19日閲覧。 ^ “ GENIC/if ”. mu-mo.net . 2024年12月19日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
If (MONKEY MAJIKの曲) If (MONKEY MAJIKの曲) 「If」 MONKEY MAJIK の シングル 初出アルバム『 DNA 』 B面 The Apprentice リリース 2013年 2月27日 規格 シングル デジタル・ダウンロード ジャンル J-POP レーベル binyl records MONKEY MAJIK シングル 年表 A Christmas Song （ 2012年 ） If （ 2013年 ） Story （2013年） 「 If 」は、日本のポップ・ロックバンド、 MONKEY MAJIK の18th シングル 。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
If (TRICERATOPSの曲) if (TRICERATOPSの曲) 「if」 TRICERATOPS の シングル 初出アルバム『 A FILM ABOUT THE BLUES 』 B面 TOP OF THE WORLD リリース 1999年 9月8日 ジャンル J-POP 時間 9分58秒 レーベル エピックレコードジャパン プロデュース TRICERATOPS チャート最高順位 12位（ オリコン ） 登場回数5回（オリコン） TRICERATOPS シングル 年表 GOING TO THE MOON （ 1999年 ） if （ 1999年 ） SECOND COMING （ 1999年 ） 「 if 」（イフ）は、 日本 の ロックバンド 、 TRICERATOPS の9thシングル。 1999年 9月8日 、 エピックレコードジャパン よりリリース。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.