レニノゴルスクの場所は、1940年代まではノヴァヤ・ピスミャンカ（Новая Письмянка、タタール語で「ピスモ」という村の近くにできた新たな村）という村であり、19世紀ころからの農村であった。1948年に近隣で油田（ロマシキノ油田、ヴォルガ・ウラル地域でも最大の油田）が発見され、石油採掘の労働者集落が建設され始めた。ノヴァヤ・ピスミャンカ労働者集落とノヴァヤ・ピスミャンカ村は共に成長し、1955年には市の地位を得て地区の中心都市になった。新たに市名となったレニノゴルスクはこの地の歴史には関係なく、十月革命の指導者ウラジーミル・レーニンにちなんだものである（ロシア語で「レーニンの山の町」）。
レニノゴルスク（ロシア語: Лениного́рск、ラテン文字表記の例: Leninogorsk）はロシアのタタールスタン共和国南東部にある都市。石油資源の埋蔵量が多いブグリマ＝ベレベーイ丘陵に位置し、周囲にはアリメチエフスク、ブグリマ、アズナカエヴォ、バヴルィなどの石油工業都市や古い町が散在する。レニノゴルスキー地区の行政中心地でもある。タタールスタンの首都カザンからは南東へ322km。人口は2002年国勢調査で65,592人（1989年ソ連国勢調査では62,093人）。
国立障害者リハビリテーションセンター学院（こくりつしょうがいしゃリハビリテーションセンターがくいん、英称:College, National Rehabilitation Center for Persons with Disabilities）は、埼玉県所沢市にある国立障害者リハビリテーションセンターの教育・訓練担当部門である。障害者のリハビリテーションに関する技術者の養成と、既に従事している各種専門職員の技術の向上を目的とした研修を行う。以前は国立身体障害者リハビリテーションセンター学院と称していたが、「厚生労働省組織令の一部を改正する政令」に基づき、2008年（平成20年）10月1日より名称変更した。西武新宿線の新所沢駅又は航空公園駅から徒歩で約15分の所にある。略称は国リハ学院。
2008年、UEFA U-19欧州選手権2008のメンバーとなり、準優勝を果たした。2009年2月、親善試合のスウェーデン戦においてU-21代表に選出。UEFA U-21欧州選手権2009のメンバーにも選出されたが、出場機会はなかった。2012年8月15日、イングランドとの親善試合にてA代表デビューを飾った。2013年5月31日のサンマリノとの親善試合で代表初得点を挙げた。
2006年、当時セリエBのFCトレヴィーゾで17歳の時にプロデビュー。マンチェスター・ユナイテッドFC、ACミランなどのビッグクラブから注目を集め、2007年1月31日にUCサンプドリアが共同保有権を獲得。シーズン終了までトレヴィーゾでプレーした後、サンプドリアが残りの保有権を買い取った。2007-08シーズンはサンプドリアに所属し、2007年11月4日のカリアリ戦でセリエAデビュー。経験を積むため、翌2008-09シーズンはセリエBのサッスオーロへ期限付き移籍し、32試合出場で5ゴールを挙げた。2009-10シーズンにサンプドリアへ復帰すると31試合に出場し、チームのリーグ戦4位に貢献した。2011年8月29日、インテルへ1年間の買い取りオプション付きレンタル移籍が決定した。2013年7月11日、保有権の半分を買い取る形でACミランへの移籍が決定。2014年6月9日、ミランが全ての保有権を買い取り完全移籍。ミランでは当初こそ活躍していたものの徐々に出場機会を失い、2017年6月に契約が終了し退団した。2017年7月1日、ボローニャFCへ自由移籍で加入した。
参照透過性（さんしょうとうかせい、英: Referential transparency）は、計算機言語の概念の一種である。ある式が参照透過であるとは、その式をその式の値に置き換えてもプログラムの振る舞いが変わらない(言い換えれば、同じ入力に対して同じ作用と同じ出力とを持つプログラムになる)ことを言う。具体的には変数の値は最初に定義した値と常に同じであり、関数は同じ変数を引数として与えられれば同じ値を返すということになる。当然変数に値を割り当てなおす演算である代入 (Assignment) を行う式は存在しない。このように参照透過性が成り立っている場合、ある式の値、例えば関数値、変数値についてどこに記憶されている値を参照しているかということは考慮する必要がない、即ち参照について透過的であるといえる。参照透過性が成り立つ言語は式の値がプログラムのテキストから定まるという特徴から宣言型言語 (Declarative language) と呼ばれたり、関数の数学的性質が保たれるという特徴から純粋関数型言語 (Pure functional language) と呼ばれたりする。一方変数の値の変更が認められているような参照透過的でない言語を手続き型言語と呼ぶ。ただ、手続き型言語は機械語プログラミングとの繋がりという歴史的な事情により手続きが式でなく命令列で表現されたことから命令型言語と呼ばれることもあり、そのような場合との対比で単に式（例えば関数や変数の組み合わせ）でプログラムが表現されているだけの言語、あるいは高階関数の仕組みを備えた言語をひっくるめて、代入が可能であるかないかを問わず、関数型言語と呼ぶことも多い。結局現状では単に関数型言語という場合は参照透過的な言語（即ち純粋関数型言語）とそうでない関数型言語を両方とも含むということになっている。また以上に関連して分散処理を記述する場合に、あるデータがどのノード上にあるかを意識せず透過的にアクセスできるという性質も参照透過性と呼ばれる。