神奈川県横浜市のご当地ヒーロー。2012年7月7日に東急東横線菊名駅前広場にて初お披露目。以来、市内大手ショッピングセンター・都市行政・市内の施設を精力的に巡りショー展開をしている。2012年12月にはYouTubeにてWEBドラマが公開、わずか3ヶ月で約6000回の再生回数をあげた。出演者に特撮の本家ともいえる東映のヒーロー作品出身者や有名声優など経歴のある俳優を起用し注目を集める。また出演俳優自らスーツアクターも演じる。主演の関根裕介が演じる濱尾学はM2music schoolにて音楽講師をしているという設定。U-NEXTで各テレビドラマ版のEpisode:1、Episode：2、スター☆ジャン神と映画版のEpisode：Finalが2020年まで配信されている。
FM放送はラジオ第1の同時放送にて地域情報を放送している。FM独自放送は以下の通り。なお、ローカルニュース・気象情報が中波・ラジオ第1と同時放送される時間帯で、東京都、愛知県、大阪府の放送は、中波は広域放送であるため、実質的には単県放送ではない（それぞれ「関東（・甲信越）」「東海（・北陸）」「近畿」の地域放送と同じである）。
地域情報番組（ちいきじょうほうばんぐみ）は、放送局が自放送局の聴取あるいは視聴エリア内に向けて流す情報番組であり、「ローカル番組」の主要部分を指す。本記事では、NHKが各放送局向けに放送するテレビ・ラジオ番組の放送枠について記す。テレビ放送では総合テレビで、ラジオ放送はラジオ第1とFMにて放送される。
「閉論理式」(closed formula) または「文」(sentence) とは、自由変数がない論理式を指す。一階述語論理の論理式に変数が出現する場合、閉論理式とするためにはそれぞれの変数に対応して束縛作用素（量化子など）を前置する必要がある。
原子論理式とは、論理結合子や量化子を含まない論理式、あるいは厳密な部分論理式を持たない論理式である。原子論理式の厳密な形式は、どんな形式体系のものかで変わってくる。例えば命題論理での原子論理式は命題変数である。一階述語論理では、項である引数を伴った述語記号が原子論理式である。量化子を伴わず、論理結合子のみを使って原子論理式を結合した論理式を「開論理式」(open formula) と呼ぶこともある。
ここでは、論理における well-formed formula について述べる。非古典論理をはじめ、他にも多くの論理（論理の体系）があり、それらについても同様な議論は可能だが、ここでは古典論理を主に対象とする。そういった形式体系において対象は記号列 φ で書かれ、φ の中の自由変数に値を設定したとき「φ は真か?」という問いが意味を持つ。形式論理において証明はある特性を持つ一連の論理式で表現され、その並びの最後の論理式は証明結果を意味する。
数理論理学において well-formed formula（wff、整式などとも）とは、形式言語といったような概念が広まる以前に、"formula" を単なる「記号を任意の順序に並べたもの」であるとして、それらのうち、数式などとして意味をなすような記号列を特に区別したものである。形式言語の考え方が広まるにつれ、そもそも意味のある数式などは何らかのルールに従って導出されるもので、それ以外の、任意の順序に並べたようなものは最初から議論の対象外として扱われるのが普通となった。
小山朝子（こやま あさこ、1972年2月18日 - ）は、日本の介護ジャーナリスト、介護福祉士。東京都目黒区出身。20代から約10年にわたり洋画家の祖母・古茂田美津子を介護する一方、約20年にわたり介護現場を取材し、「介護ジャーナリスト」として活動。介護体験者・ジャーナリスト・介護職の視点から各地で講演。執筆活動のほか、テレビや雑誌等を通して、独自の論を展開している。祖父は洋画家の古茂田守介、母は銅版画家の古茂田杏子、叔父は録音技師の古茂田耕吉。
内田祥文（うちだ よしふみ、1913年 - 1946年）は、日本の建築家、建築研究者、都市計画家、都市研究者。工学博士。戦時下で木造建築の防災などに、戦後は戦災都市復興に取り組んだが、急逝した。
1981年に当駅付近で縄文時代の遺跡が発見され（真脇遺跡）、それに因んでのと鉄道への移管時に「縄文真脇」に改称された。ログハウス風の駅舎があり、第4回中部の駅百選に選ばれている。
説経祭文（せっきょうざいもん、せっきょうさいもん）は、江戸時代中期、起源の異なる中世以来の芸能である説経節と祭文語りの双方が結びついて生まれた門付芸・大道芸である。
1982年にパトラで開催された国際天文学連合 (IAU) 第18回総会において、決議C5号（第4、第9、第31委員会）で、IAU(1976)天文定数系、IAU1980 章動理論および基本星表FK5における分点が1984年1月1日から導入されることを踏まえて、新たに世界時 (UT1) とグリニッジ平均恒星時 (GMST) の関係式が定義された。また、決議C9号（第19、第31委員会）で、世界時の処理や刊行物で長周期潮（zonal tide、一日より長い周期の潮汐）の役割を明確にする必要を考慮し、文字Rを35日未満の周期の補正がなされたことを示すために関連する量の表記に付与することができること（例えば、UT1R など）が勧告された。