ニュージャージーのテクニカリル・ハイスクールを経て、モアヘッド州立大学で4シーズン活躍の後、2011年のNBAドラフトにエントリーし、デンバー・ナゲッツから全体22位指名を受けて、NBA入りを果たした。ルーキーシーズンは、シーズン途中にワシントン・ウィザーズに放出されたネネイに変わり、パワーフォワードのスターターとして活躍、ルーキー・オブ・ザ・イヤーの投票で3位になり、NBAオールルーキーチームの1stチームに選出された  。また、2012-2013シーズンのNBAルーキーチャレンジではチームシャックで40得点、10リバウンドを記録しMVPを獲得した。2014年4月2日、キャリアハイとなる34得点をニューオーリンズ・ペリカンズ戦の勝利に貢献した。2014-15シーズン開幕前に、4年5000万ドルの延長契約を結んだ。2018年7月13日、トレードでブルックリン・ネッツに移籍した。2019年1月19日、ネッツから解雇された。2019年1月21日、ヒューストン・ロケッツと契約した。
高校を卒業して、従兄の田島の紹介で大阪に出て、青木雄二と出会って、そのアシスタントを経たのち、『モーニング』にて『カバチタレ!シリーズ』、『イブニング』にて『極悪がんぼ』・『激昂がんぼ』シリーズなどを連載中。アシスタントの高橋昌大と漫才コンビ『ステーキ御膳』を結成してM-1グランプリに2度出場したが、共に予選で敗退している。出身地である広島県呉市が平成30年7月豪雨の被害に遭い、被災地の支援活動「西日本豪雨復興応援アート展」や西日本応援イラスト集 (講談社)に寄稿している。
多くの計算体系において、型住性問題は大変困難である。単純型付きラムダ計算においては型住性問題はPSPACE完全であることが Richard Statmanにより示されている。System Fにおいては決定不能である。
単純型付きラムダ計算においては、型が有項であることとminimal implicative logicにおいてその型と対応する命題が恒真であることは同値である。同様に、System F の型が有項であることと二階述語論理においてその型と対応する命題が恒真であることは同値である。
国民政府の北伐に対しては、施肇基は支持の態度をとり、外国に対して中国へ介入しないよう求めた。1928年（民国17年）7月、国民政府により施の駐米公使の地位が確認され、同年11月、駐英全権公使に異動した。1930年（民国19年）、国際連盟中国全権代表兼理事会理事をつとめる。1931年（民国20年）9月、満州事変が勃発すると、施肇基は、日本の軍事行動は国際的公理に反するとして、国際連盟を舞台にこれを激しく批判・非難した。しかし、蒋介石は不拡大方針（不抵抗方針）を指示し、11月25日、やむなく施はその訓令に基づいて錦州を中立区とする提案を行うに至る。これは国内世論の激しい反発に遭ったため、12月4日に撤回した。結局、世論との板ばさみに悩んだ施は翌日に辞意を示し、翌年1月、顔恵慶がその後任となった。1933年（民国22年）、施肇基は駐米公使に返り咲く。1935年（民国24年）6月、中米双方が使節の昇格を行い、施が初代駐米大使となった。翌年8月、大使を辞任し、帰国すると上海に寓居した。日中戦争（抗日戦争）が勃発すると、救護活動に従事し、諸外国に中国支援を求める活動を行った。1941年（民国30年）にはアメリカに向かい、やはり中国のための支援活動を継続している。1945年（民国34年）、サンフランシスコで開催された国際連合憲章制定会議において、施肇基は中国代表団の顧問をつとめた。1948年（民国37年）、国際復興開発銀行顧問委員会委員兼顧問に任じられている。1958年1月3日、ワシントンD.C.で病没。享年82（満80歳）。
NHK BS1『NHKプロ野球』では主音声では通常の実況放送、副音声では場内の音声のみを放送している。本当に会場にいる雰囲気だけを楽しむことができるが、放送終了までの番組全体ではなく、開始冒頭の挨拶部分と試合終了後のヒーローインタビューが終わると、副音声でも実況アナウンサー・解説者の声が流れる。副音声で場内音声のみという形式の放送は2011年度以降、一部のサッカー中継でも実施するようになった。副音声では競技場内のみの音声のみだが、競技場内のみの音声が流れるのは前半のキックオフから前半終了までの部分と後半のキックオフから試合終了まで（後半の試合・延長戦・PK戦を問わず決着が付くまで）の部分となっており、試合後のインタビュー終了後は副音声も主音声と同じ音声が入る（初実施は2011年11月27日のサッカー男子・ロンドンオリンピックアジア最終予選「日本vsシリア」。そのほか、2011年12月の天皇杯サッカー準決勝でも実施された）。2012年のNHK杯フィギュアでも一部時間帯で5.1サラウンド放送と同時並行して実施される。スカパー!では一部のサッカー中継で副音声では競技場内の音声のみの放送を行っている。フジテレビでもCS放送におけるF1中継やK-1中継で副音声では実況音声無しの現地音声のみでの放送を行っている。かつては『enjoy! Baseball』でも主音声では通常の実況放送、副音声では各地の途中経過や結果を放送していたが、2007年放送よりステレオ放送に変更となった。また、ローカルで中継を行う場合はステレオ放送となっている。もともとNHKワールド JAPANの海外向けに英語で制作されているものを国内向けであるNHK BS1（かつてはNHK地上波でも放送）で放送する番組については主音声が英語、副音声が日本語の放送となっている（日本国内向けのデジタル放送ではほぼすべての番組がステレオ2音声放送）。この場合、日本語音声を聞きたい場合はリモコンの音声切り替えボタンを操作しなければならない（何も切り替えない場合は英語音声となる）。そのため、字幕スーパーに「日本語は副音声でお伝えしています」と表示されている。しかし、2014年度以降は2か国語放送を実施せず、英語のみで放送している番組もある。テレビ朝日『朝まで生テレビ!』はモノラル制作（モノステレオ放送）時代に、日中同時生中継の時には、中国語との二重音声が行われた（2007年3月放送回で実施）。