「ヒャダイン」とは元々RPGゲーム『ドラゴンクエスト』に登場する呪文のひとつである。これを別名として選んだ理由については、「ヒャダインは不遇の魔法なんですよ。強いはずなのに。使いようがないですね。ドラクエ3では、先にもっと強いマヒャドという魔法を覚えてしまう。ドラクエ4においても覚えるのはブライというじいさんが使うんですが、体力のなさから終盤ではスタメン落ちする。その不遇感がたまらなく好きだったんですよ」 と語っている。
ゲーム・アニメ等のBGMを作詞・編曲し、老人から子供・男性や女性の色々な声を作り多重録音の手法で動画サイトに投稿している。スーパーファミコン・アニメの有名作品が多い。また、PVには女性キャラも使用しており、「ヒャダインのカカカタ☆カタオモイ-C」には麻生夏子、「ヒャダインのじょーじょーゆーじょー」には元ももいろクローバーの早見あかり、「クリスマス?なにそれ?美味しいの?」には高山侑子が出演、「笑いの神様が降りてきた！」では肘井美佳がヒャダル子役を演じている。
6歳よりエレクトーンを始める。岡山県立岡山城東高等学校、東京音楽大学作曲指揮専攻映画放送音楽コース卒業。大学卒業後、ゲーム音楽制作を経て、現在はジャンル問わず劇伴作家として活動中。
2019年2月11日、全チームに先駆けて正式発表された。親チームのレッドブルが本年からトロ・ロッソと同じホンダ製パワーユニット(以下PUと表記)を搭載することになり、エイドリアン・ニューウェイが本格的にマシンデザインの最前線に復帰し、レッドブルとトロ・ロッソ両チームの技術面を統括することとなったため、前年までテクニカルディレクターを務めていたジェームス・キーはマクラーレンへ移籍した。これにより、レッドブル・テクノロジーとの協力関係が強化され、共通化されたパーツが目立つこととなった。ただし、レギュレーションで許されるパーツについてはレッドブルの最新仕様（RB15）となっているものの、定義的には旧式にあたる部品（RB14）のものを多数使用しているため、完全な共通化が実施されたわけではない。チーム側は最新仕様のパーツを使用してもそれを自らのマシンに生かし切れないと判断し、あえて信頼性が確立された旧仕様のパーツを使用し開発効率を向上させたとしているが、もし完全な共通化をしてしまうと、レギュレーション違反の可能性が出てくるため、その可能性を回避したという見方もできる。
日本の消防法では危険物第4類・第2石油類に分類される。動物実験での半数致死量（LD₅₀）はラット及びウサギへの経口投与でいずれも5g/kg以上。
主題としてのモデル理論はおおよそ二十世紀の中頃から存在している。しかしながら、特に数理論理学においてそれ以前から研究されていたいくつかの理論はモデル理論的な性質を持っていたと考えることができる。モデル理論の系譜における最初の顕著な成果はレオポールト・レーヴェンハイムにより1915年に発表された下方レーヴェンハイム-スコーレムの定理の特別な事例である。コンパクト性定理は、トアルフ・スコーレムによる仕事において萌芽が見られるが、ゲーデルの完全性定理の証明中の補題として1930年に初めて発表された。レーヴェンハイム-スコーレムの定理およびコンパクト性定理は1936年および1941年にモルツェフによって一般的な形で形式化された。
集合論（これは可算言語において表現されている）は可算モデルをもつ。すなわち、非可算集合の存在を仮定している集合論の文が可算モデルにおいても真であることから、これはスコーレムのパラドックスとして知られている。特に、連続体仮説の独立性の証明はモデル内から見たとき非可算として現れるがモデル外から見たとき可算となるような集合をモデルの対象として必要とする。モデル理論的な観点は集合論にとって有用である。例えば、ゲーデルがコーエンにより開発された強制法を用いて行った構成可能集合に対する仕事によって、（哲学的に興味深い）選択公理の独立性および集合論の他の公理からの連続体仮説を証明することができる。
一階述語論理の節で見られたように、一階理論は範疇的でありえない。すなわち、一階述語論理は同形なある一意なモデルを、そのモデルが有限でない限り記述することができない。しかし、二つの有名なモデル理論に関する定理は基数κ についての κ-範疇性のより弱い概念を扱うことができる。もし濃度がκ である理論Tの二つのモデルが同形であるならば, T はκ-範疇的と呼ばれる。κ-範疇性の疑問は、κ がその言語の濃度よりも大きいかどうか（すなわち、 + |σ|, ここで |σ| はシグネチャの濃度）に決定的に依存していることが分かる。有限または可算のシグネチャについて、これは非可算のκ についての-濃度と κ-濃度の間に根本的な相違があることを意味している。
フランス、パリ生まれ。フランスの俳優ジャン＝ルイ・バローと、その妻で女優のマドレーヌ・ルノーの姪にあたる。フランス国立高等演劇学校にて演劇を学んだ。1975年の『さよならの微笑』はアメリカでも高く評価され、アカデミー主演女優賞にノミネートされた(『さよならの微笑』はのちにハリウッドでもイザベラ・ロッセリーニ、テッド・ダンソン主演の『今ひとたび』としてリメイクされた)。最初の夫で映画プロデューサーのダニエル・トスカン・デュ・プランティエとの間に2子（ダヴィッド、アリアンヌ）あり。1990年、映画監督ロジェ・ヴァディムと結婚。1991年にはヴァディム演出でバーナード・スレイド作《セイム・タイム、ネクスト・イヤー》 Même heure l'année prochaine をヴィクトル・ラヌーと共演。その後、ヴァディム監督のテレビ映画にも次々と主演。1994年にはゆうばり国際ファンタスティック映画祭の審査員のため二人で来日した。また、プーランク作曲《ぞうのババール》など演奏会の語り部も始め、公演にはヴァディムもよく来場していた。