初出は『新スタートレック』のエピソード「Q-Who？」（日本語訳名:『無限の大宇宙』）である（初めて姿を現したのは前記の作品であるが、それ以前に別エピソード「The Neutral Zone」（日本語訳名:『突然の訪問者』）での謎の破壊者の正体として存在自体は示唆されている）。その最大の特徴は、侵略の対象が「文化」や「技術」その物にある点にある。領土や財貨、個人といった物には興味を示さず、特定の種族の持つ、文明、文化、そのものを吸収同化していくという特徴は、ボーグを従来のSF作品に登場する侵略型エイリアンとは、一線を画す特異な存在へと昇華させた。物語中、ボーグは、同化と呼ばれる強制的なサイボーグ化により、自組織へと他のヒューマノイド（人間）を取り込もうとする存在として描かれた。ボーグは全メンバーの意識を常時共有している性質上一人称単数の意思は存在せず、常に自分たちの事を「我々」と表現する。これは1人だけを相手にしていてもその個体はこのように表現する。同化の際に「我々はボーグだ」(We are the Borg)、「お前達は同化される」(You will be assimilated)、「抵抗は無意味だ」(Resistance is futile) という一方的通告をする。ボーグらは、一辺数キロメートルにも及ぶ巨大な宇宙船に乗り、宇宙空間内をワープおよびトランスワープを使って高速で移動する。これらボーグ宇宙船は立方体型をボーグ・キューブ、球状体型をボーグ・スフィアと呼ばれ、様々な星の知的生命体を同化して、その科学技術を吸収する事で自己進化を推し進めている。ケイゾン人に関しては知識も技術も低レベルで同化する価値すら無いとして、遭遇しても同化しなかったとヴォイジャーに乗船したセブン・オブ・ナインは語っている。
2014年1月、SCブラガに移籍した。その後2シーズンはポルトガルの他クラブにローン移籍した。2018年5月15日、スポルティングCPの選手はサポーターの襲撃に遭う。ジェルソン・マルティンスやルイ・パトリシオら主力が退団する中、バタグリアは残留した。
形式証明は整式の連なりである。証明を構成する整式は、公理かまたは証明内の前の整式に推論規則を適用して導出されたものである。一連の整式の最後の整式が定理と認識される。このような観点を総じて、数学は「形式主義」的であると称する。ダフィット・ヒルベルトは形式体系を論じる学問分野として超数学を起こした。形式体系を論じるために使われる言語を「メタ言語」と呼ぶ。メタ言語は自然言語そのものである場合もあるし、何らかの形式化がなされている場合もある。しかし、一般に研究対象である形式体系を構成する形式言語ほどには形式化されていない。ある形式体系が与えられたとき、定理群を定義でき、それらをその形式体系内で証明できる。形式体系は証明が存在する全ての整式で構成される。すなわち全ての公理は定理とみなされる。公理や既に存在する定理に推論規則を適用して得られる整式も定理に含まれる。整式の文法とは異なり、ある整式が定理であるか否かを決定する手順は必ずしも存在しない。ここでいう定理は「形式体系についての定理」ではなく、混同をさけるため後者をメタ定理とも呼ぶ。
「論理体系」または「論理」はある種の意味論（通常、モデル理論的解釈の形態）を伴った形式体系であり、形式言語の文（自由変数を含まない論理式）に真理値を割り当てる。ある論理が健全であるとは、導出される全ての文が真と解釈されることを意味し、ある論理が完全であるとは、逆に全ての真の文を導出できることを意味する。
キャマ（Cama）とは、アラブ首長国連邦のドバイでヒトコブラクダとリャマとの間に人工的に作られた種間雑種である。ヒトコブラクダの体重はリャマの6倍と、体格差が非常に大きいため、交配は人工授精による。ヒトコブラクダの雌とリャマの雄を自発的に交配させる試みは失敗している。これまでに生まれたキャマはラクダに似た短い耳と長い尾、剛毛を持ち、こぶは無く、リャマに似た蹄を持つ。1998年にヒトコブラクダの父とリャマの母の間に生まれた最初のキャマは雄で、ラーマ（Rama）と名付けられた。ラーマは4歳で成熟し、リャマとグアナコの雌に興味を持った。ラーマは成長するにつれ大変気難しい性格を持っていることが明らかになったが、それがこの雑種固有のものなのか、それとも人工飼育の結果によるものなのかは不明である。その後2002年に人工授精により2頭目のキャマ（雌）が作られ、 カミラ（Kamilah）と名付けられた。リャマもラクダも74本の染色体を持つためキャマは生殖能力を持っている可能性があり、将来品種改良によってリャマよりも体格、肉と毛の収量、積載量に優れ、ラクダよりもおとなしい家畜を作り出すことが期待されている。
シングル作品としては前作「あまくない」より約2年ぶりのリリースで、自主レーベルのチキン・スキン・レコードより発売された。前作同様にバンドは「ゴー!ゴー!ライブハウスキャンペーン!」と題し、今作を全国のライヴハウス及び、全国ツアー「30年のキセキ」の会場限定で販売している。
分光計本体は電磁パルスの発生とその照射のタイミングをコントロールしたり、プローブで検出した信号を増幅しスペクトルとして得る心臓部である。電磁パルスのもととなる高周波電流は水晶振動子を用いた発振回路で作られる。水晶振動子の発振周波数は極めて安定しているため、これがすべての周波数の基準となる。この周波数を元に周波数シンセサイザにより観測対象核のラーモア周波数と位相を持つ高周波電流を作り出す。これをON/OFFゲートにより切り出して目的の長さのパルスとし、高周波アンプで所定の電圧まで増幅してプローブに送り込む。NMRスペクトルにおいて必要な情報はラーモア周波数の絶対値ではなく、基準周波数との差のみである。FIDは基準周波数を搬送波としてそこに基準周波数との差の情報が乗っているものとみることができる。搬送波の周波数を別の周波数に変換してしまったとしても必要としている情報は失われない。そこで、プローブから送られてくるFIDをまず高周波アンプで増幅した後、基準周波数とある一定の差を持った高周波を作って混合してやることで、核によらない一定の中間周波数に変換する。これにより核種によらない信号処理が可能となる。中間周波数に変換された後は、さらに増幅され検波される。検波により搬送波に当たる中間周波数が除去され、基準周波数との差のみが取り出される。検波は位相敏感検波 (PSD) でなされる。1つのPSD検波では基準周波数との差の絶対値しか分からないため、2つの位相を90度ずらしたPSDを用いて検波を行う (QPD: Quadrature Phase Detection)。検波された信号はA/D変換器によりデジタルデータとしてメモリに蓄積される。従来は複雑で高価で柔軟性に欠ける専用のハードウェアを使用していたが、近年ではソフトウェア無線 (SDR) で置き換える試みが進められる。