吉野川サービスエリア（よしのがわサービスエリア）は、徳島県三好郡東みよし町足代にある徳島自動車道のサービスエリア。吉野川スマートインターチェンジを併設する。当サービスエリアの下り線施設には、一般道からも利用できるウェルカムゲートがある。
概要.
三好バスストップ.
三好バスストップ（みよしバスストップ）は、吉野川サービスエリアに併設された高速バス用バス停留所。
高速バスの利用者専用駐車場がある。
上板サービスエリア
上板サービスエリア（かみいたサービスエリア）は、徳島県板野郡上板町神宅にある徳島自動車道のサービスエリアである。
施設.
上下線ともガソリンスタンドは当SA開設当時から設置されていない。
上板バスストップ.
上板バスストップ（かみいたバスストップ）は、徳島県板野郡上板町神宅の徳島自動車道の上板サービスエリアに併設された高速バス用バス停留所。
高速バス利用者専用駐車場あり。
上り側バス停と下り側バス停の間を移動するには、一般道に出て大きく迂回しなければならない。特に夜間は照明も少ないので注意が必要である。
阿波パーキングエリア
阿波バスストップ.
阿波バスストップ（あわバスストップ）は、徳島自動車道 阿波パーキングエリアに併設された高速バス用バス停留所。
ラビン
ラビンは、ヘブライ語の人名またはクロアチア語の地名。
ヘブライ語の人名.
クロアチア語の地名.
ユニタリ作用素
数学の一分野、函数解析学におけるユニタリ作用素（ユニタリさようそ、）は、ヒルベルト空間上の自己同型写像、すなわち構造（今の場合は、作用する対象となる空間の線型空間の構造、内積構造およびそこから定まる位相構造）を保つ全単射である。与えられたヒルベルト空間 からそれ自身へのユニタリ作用素全体の成す集合は群を成し、 のヒルベルト群 と呼ばれることもある。
定義と注意.
ヒルベルト空間 上の有界線型作用素 がユニタリ作用素であるとは、それが を満足するときに言う。ただし、 は のエルミート共軛で は恒等作用素である。
上記よりも弱く、条件 のみを満たすものは等距作用素 と呼ばれ、条件 を満たすものは余等距作用素 と呼ばれる。即ち、ユニタリ作用素は等距かつ余等距なる有界作用素である。
内積を用いれば、この定義は以下のように書き直すことができる。