「こうこう（香々）」「おこうこう（御香々）」「こうのもの（香の物）」などともいう。香（こう）は味噌のことを指し、これらの語彙は本来は漬物一般をさす言葉だったが、関西を中心にして（現在では全国的に）もっぱら沢庵漬けをさすことも多い。また「しんこう（新香）」「おしんこう（御新香）」「おしんこ」という言葉は、かつては新鮮な野菜の色を失わない浅漬けの物を指す言葉だったが、近年ではこちらも沢庵漬けをさすことも多いのは「おこうこう」と同様である。
腹腔内で出血した場合は手術が必要となる。腹腔内の出血は血圧などの状態が安定していれば入院の上、厳重に経過観察し出血が止まる様子が無ければ止血する必要がある。ただし出血が止まったならば、手術する必要なく治癒する。また腹部を打っただけでも打ち所が悪かったり、強く打ったりした場合は内臓が傷ついて出血したり破れたりする事がある。膵臓は傷つきやすい臓器であり、運転中にハンドルで腹部を強く打った際などにその症例が多い。ただし膵臓は腹部においても深い場所にあるため、傷ついても症状が出にくかったり、症状が遅れて出たりする。傷の程度によっては膵液が漏れ出て重症となり、大きな手術が必要となる場合もある。また小腸や大腸などの消化管が破れた場合、腹中の腸液や便が漏れ出て、時間がたつと最悪の場合には敗血症になる恐れがあるため、早急な手術が必要となる。このように腹部を打ってから、強い腹痛が続く場合には受診する必要があり、放置しておくと生命に関わる危険性もある。
腹部打撲の原因として、自転車や階段での転倒、スポーツや歩行中における他人との衝突、自動車事故におけるハンドルでの腹部接触、高所からの転落など様々な状況での事情が考えられる。腹部打撲の自覚症状は長く続く強い腹部への痛みである。腹部の痛みは打撲してからどんどん痛みが強くなる場合が多いが、場合によっては時間が経過してから痛み出す事もある。肝臓、脾臓などは非常に柔らかくて傷つきやすい内臓のため、またこれらは血液の流れが豊富なため、腹腔内で出血しやすい。
2013年5月17日にトレードでワシントン・ナショナルズへ移籍した。AAA級シラキュースで30試合に出場し、7打点、打率.221だった。9月4日のエリー・シーウルブズ戦でランナーのブランドン・ダグラスが本塁へ突入した際にジェロロマンと衝突。顎が切れ、脳震盪の状態を確認するためにも2日間入院した。11月5日にFAとなったが、12月13日にナショナルズとマイナー契約で再契約した。
2012年12月19日にクリーブランド・インディアンスとマイナー契約を結んだ。2013年3月29日に金銭トレードでピッツバーグ・パイレーツへ移籍した。AAA級インディアナポリス・インディアンスで11試合に出場した。
Haskell では関数のデータ型を明示しなくても処理系が自動的に型を推論する。以下は型の宣言を省略し、本体のみを宣言した引数の平方を返す関数 square である。square x = x * xこの場合 square の型は型推論され、次のように明示的に型を宣言したのと同じになる。square :: (Num a) => a -> asquare x = x * xこの宣言は、「Numのインスタンスである a の型の値を引数にとり、a の型の値を返す」と読める。ここでは「*」演算子が適用可能な最も広い型である Num a が選択されており、整数や浮動小数点数、有理数のような Num のインスタンスであるあらゆる型の値を渡すことができる。外部に公開するような関数を定義するときは、型推論によって自動的に選択される最も広い型では適用可能な範囲が広すぎる場合もある。Integer のみを渡せるように制限する場合は、次のように明示的に型を宣言すればよい。square :: Integer -> Integersquare x = x * x型推論のため、Haskell は型安全でありながらほとんどの部分で型宣言を省略できる。なお、次のコードは型宣言が必要な例である。read は文字列をその文字列があらわすデータ型に変換する抽象化された関数である。main = print (read "42")    -- コンパイルエラー！このコードはコンパイルエラーになる。read は複数のインスタンスで実装されており、数値なら数値型に変換する read、リストならリストに変換する read というように型ごとに実装が存在する。Haskell の型は総て静的に決定されなければならない。このコード場合、プログラマは read :: String -> Intという型をもつ実装の read が選択されると期待しているであろうが、これはコンパイラによる静的な型検査では決定できない。つまり、Haskell コンパイラは read の返り値を受け取っている関数 print の型を検査し多数の実装の中から適切な read を選択しようとするが、print は Show のインスタンスが存在するあらゆる型を引数にとるため、型推論によっても read の型を一意に決定できない。これを解消するひとつの方法は、:: によって型を明示することである。main = print ((read "42") :: Int)    -- コンパイル成功！read の返り値を Int と明示しているまた、そもそも read の返り値を整数型しか取らない関数に与えていればあいまいさは生じず、型推論は成功する。printIntOnly :: Int -> IO ()printIntOnly x = print xmain = printIntOnly (read "42")    -- コンパイル成功！他の言語、たとえば Java でこのような抽象的な関数を書こうとしても、Java では返り値の値の型によって関数を選択するようなことはできない（引数の型によって選択するメソッドのオーバーロードは存在する）。そのため、関数の実装ごとに別の名前をつけてプログラマに明示的に選択させて解決させることになる。この方法は簡潔でわかりやすいが、抽象性の高さに基づく再利用性という点では Haskell のような多相には劣ってしまう。